3D space geometry with
Coq
statement for
Coq (Pcoq)
fragments of the proof using
Coq (Pcoq)
GEOMETRIE--COQ
![[Previous]](prev.gif){kind=small}
![[Next]](next.gif){kind=small}
