Skip to content

Latest commit

 

History

History
17 lines (9 loc) · 715 Bytes

File metadata and controls

17 lines (9 loc) · 715 Bytes

Solutions for Lean 4 Natural Number Game

Links:

Lean 4

NNG4 Game Server

NNG4 Source Code

This repo proposes solutions for the game server, to help fellow learners.

The solutions by no means are the best, but they are the ones I came up with.

Better solutions are welcome, please open a PR.

Note Multiplication World is numbered as #3 while Implication World is numbered as #5. This is only for the purpose of keeping the numbering sequential. In practice, these levels appear as parallel in the game server. Same is true for Algorithm World and ≤ World.