GeoCoq
Results
1
repositories owned by
GeoCoq
GeoCoq
175
Stars
26
Forks
Watchers
A formalization of geometry in Coq based on Tarski's axiom system
