Geeks
dirichy
/
EG
Formalizing Euclidean Geometry in Lean
Primary Language
Lean
EG GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
EG
Formalizing Euclidean Geometry in Lean
This is a test.