Livret: GeoCoq Figures

Figure used in our formalization of foundations of geometry in Coq.

 

Julien Narboux

 
Type de ressources
Livret
Balises
euclid  hilbert  parallel  postulates  tarski 
Tranche d'âges
19+
Langue
English
 
 
 
© 2025 International GeoGebra Institute