Skip to content

ReallyLiri/lean-natural-number-game-solutions

Repository files navigation

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.

About

Solutions for Lean Natural Number Game

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages