pablo
projects
natural-number-game
Solututions to the Natural Number Game
summary
log
tree
Name
README.md
addition.lean
advanced-addition.lean
advanced-multiplication.lean
advanced-proposition.lean
function.lean
inequality.lean
multiplication.lean
power.lean
proposition.lean