Code

2025/2/28 Fix Game.lean#4

Code

Closed

zhangtengyu0523 wants to merge 10 commits intomainLizBonn/RubikCubeGame:mainfrom draftLizBonn/RubikCubeGame:draftCopy head branch name to clipboard

+2

Commits

Commits on Feb 21, 2025

• Test 2025/02/21: Just a test.

  zhangtengyu0523

  committed
  5393ad4

  Copy full SHA for 5393ad4

• Delete 2025/02/21

  zhangtengyu0523

  committed
  35c45b0

  Copy full SHA for 35c45b0

Commits on Feb 27, 2025

• 2025/2/27 test

  zhangtengyu0523

  committed
  6cc8ffc

  Copy full SHA for 6cc8ffc

• 2025/2/27 Test2

  zhangtengyu0523

  committed
  2328722

  Copy full SHA for 2328722

• 2025/2/27 test3

  zhangtengyu0523

  committed
  3fb3863

  Copy full SHA for 3fb3863

• 2025/2/27 Fix error

  zhangtengyu0523

  committed
  0dc7969

  Copy full SHA for 0dc7969

• 2025/2/27 test4

  zhangtengyu0523

  committed
  3fda1b6

  Copy full SHA for 3fda1b6

• 2025/2/27 New World

  Show description for 46ae451
  zhangtengyu0523

  committed
  46ae451

  Copy full SHA for 46ae451

Commits on Feb 28, 2025

• 2025/2/28 Fix Game.lean

  zhangtengyu0523

  committed
  11f7cfa

  Copy full SHA for 11f7cfa

• Merge branch 'main' into draft

  zhangtengyu0523

  committed
  14a82f7

  Copy full SHA for 14a82f7