Code

Fix terminology in L02rw.lean#81

Code

Open

DecimalTurn wants to merge 2 commits intoleanprover-community:mainleanprover-community/NNG4:mainfrom DecimalTurn:patch-1DecimalTurn/NNG4:patch-1Copy head branch name to clipboard

+1-1

Commits

Commits on Nov 29, 2024

• Fix terminology in L02rw.lean

  DecimalTurn

  authored
  5bb0c9e

Commits on Dec 2, 2024

• Update Game/Levels/Tutorial/L02rw.lean

  Show description for e9a2e0a
  

  DecimalTurn

  and

  joneugster

  authored
  e9a2e0a