3D space geometry with
Coq
statement for
Coq (Pcoq)
fragments of the proof using
Coq (Pcoq)
GEOMETRIE--COQ