youwen/natural-number-game
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
solutions for natural number game, a gamified tutorial for the lean theorem prover
2 commits 1 branch 0 tags 40 KiB
  • Lean 100%
Find a file
Exact
Youwen Wu 3b657a3320
 add readme and license
2026-01-05 04:52:52 -08:00
Addition initial commit 2026-01-05 04:51:27 -08:00
AdvAddition initial commit 2026-01-05 04:51:27 -08:00
AdvMultiplication initial commit 2026-01-05 04:51:27 -08:00
Algorithm initial commit 2026-01-05 04:51:27 -08:00
Implication initial commit 2026-01-05 04:51:27 -08:00
LessOrEqual initial commit 2026-01-05 04:51:27 -08:00
Multiplication initial commit 2026-01-05 04:51:27 -08:00
Power initial commit 2026-01-05 04:51:27 -08:00
Tutorial initial commit 2026-01-05 04:51:27 -08:00
LICENSE add readme and license 2026-01-05 04:52:52 -08:00
README.md add readme and license 2026-01-05 04:52:52 -08:00

README.md

natural number game solutions

solutions for natural number game, a gamified tutorial for the lean theorem prover. solved in a single sitting so some proofs are needlessly convoluted.