Geeks
FR-vdash-bot
/
EG
Formalizing Euclidean Geometry in Lean
Primary Language
Lean
EG GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
No issues in this repository yet.