hilbert-axioms topic
List
hilbert-axioms repositories
GeoCoq
175
Stars
26
Forks
Watchers
A formalization of geometry in Coq based on Tarski's axiom system
math-formalizations
15
Stars
0
Forks
Watchers
Formalization of some elementary mathematical theories in Coq