Geeks
JesseBusman
/
NNG4_Solutions
My solutions to the Lean 4 Natural Number Game
Primary Language
Lean
NNG4_Solutions GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Watchers
JesseBusman
Fryslân, The Netherlands