GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ GeoCoq
1 open source projects by GeoCoq
[ Open user page on Github ]
1.
Geocoq
A formalization of geometry in Coq based on Tarski's axiom system
✭ 128
geometry
coq
1-1
of
1
user projects
