Geeks
guillaumeduhamel
Company:
Edukera
guillaumeduhamel Home
guillaumeduhamel GitHub
6
Repos
1
Star
5
Followers
0
Following
guillaumeduhamel's Stars
GeoCoq/
GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
Language:
Coq
181
26
