Geeks
Lehnart
/
lean-math-proof
Lean tutorial
Primary Language
Lean
lean-math-proof GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
General-MP