Solutions to the Lean 4 Natural Number Game: https://adam.math.hhu.de/#/g/leanprover-community/nng4
Completed using rule config regular
.
Solutions to worlds:
- Tutorial World
- Addition World
- Multiplication World
- Implication World
- Power World
- Advanced Addition World
- Algorithm World
- Inequality World
- Advanced Multiplication World