Geeks
tukamilano
/
GeoLean
A Lean Library for Axiomatic Geometry(WIP)
Primary Language
Lean
GeoLean GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
Stargazers
No one’s star this repository yet.