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
292 stars 73 forks source link

Fixed small typo with problem description for world4 level5 #40

Closed thyrgle closed 4 years ago

thyrgle commented 4 years ago

Current description uses variable b which is mentioned no where and omits n. Ordering was also changed to match what variables appear first.