GeoGebra Buch: GeoCoq Figures

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

 

Julien Narboux

 
Materialtyp
GeoGebra Buch
Tags
euclid  hilbert  parallel  postulates  tarski 
Zielgruppe (Alter)
19+
Sprache
English
 
 
 
© 2026 International GeoGebra Institute