natural-number-game
Solututions to the Natural Number Game
| Mode | Name | Size |
-rw-r--r-- |
README.md | 4L |
-rw-r--r-- |
addition.lean | 57L |
-rw-r--r-- |
advanced-addition.lean | 93L |
-rw-r--r-- |
advanced-multiplication.lean | 74L |
-rw-r--r-- |
advanced-proposition.lean | 136L |
-rw-r--r-- |
function.lean | 86L |
-rw-r--r-- |
inequality.lean | 179L |
-rw-r--r-- |
multiplication.lean | 97L |
-rw-r--r-- |
power.lean | 84L |
-rw-r--r-- |
proposition.lean | 68L |