Geeks
ianjauslin-rutgers
/
pythagoras4
Many proofs of the Pythagoras theorem - Lean 4
Primary Language
Lean
pythagoras4 GitHub
Markdown
Readme
0
Issues
9
Stargazers
4
Watchers
Stargazers
alreadydone
Heidelberg / Shenzhen
bakerjd99
Meridian Idaho
Julian
New York, NY
neuroevolutus
utensil
VladaSedlacek
yuedajiong