pappus

There are 0 repository under pappus topic.

GeoCoq / GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
formalization coq geometry tarski-axiom hilbert-axioms desargues pappus parallel-postulate euclid elements continuity archimedes
Language:Coq 175