search

ImperialCollegeLondon / natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Apache License 2.0
288 stars 72 forks source link

fix typo on level 6-7 #122

Closed Stevenjin8 closed 2 years ago

Stevenjin8 commented 2 years ago

Small typo on level 6-7.