git.pablopie.xyz
natural-number-game
Solututions to the Natural Number Game
summery
log
tree
refs
git clone:
git://git.pablopie.xyz/natural-number-game
Name
README.md
addition.lean
advanced-addition.lean
advanced-multiplication.lean
advanced-proposition.lean
function.lean
inequality.lean
multiplication.lean
power.lean
proposition.lean