1 result found Sort:

GeoCoq
GeoCoq GeoCoq
26
191
lgpl-3.0
16
A formalization of geometry in Coq based on Tarski's axiom system
coq euclid pappus elements geometry desargues archimedes continuity tarski-axiom formalization hilbert-axioms parallel-postulate
Created 2015-07-15
173 commits to master branch, last one about a month ago