Code

Fix terminology in L02rw.lean#81

Code

Open

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

Commits

Commits on Nov 29, 2024

• Fix terminology in L02rw.lean

  DecimalTurn

  authored
  5bb0c9e

  Copy full SHA for 5bb0c9e

Commits on Dec 2, 2024

• Update Game/Levels/Tutorial/L02rw.lean

  Show description for e9a2e0a
  

  DecimalTurn

  and

  joneugster

  authored
  e9a2e0a

  Copy full SHA for e9a2e0a

Commits on Mar 3, 2025

• Update L02rw.lean

  DecimalTurn

  authored
  315505a

  Copy full SHA for 315505a