GeoGebra Buch: GeoCoq Figures
Figure used in our formalization of foundations of geometry in Coq.
- Zielgruppe (Alter)
- 19+
- Sprache
- English
Alle Änderungen wurden gespeichert
Fehler
Das hat leider zu lange gedauert. Wir versuchen, noch einmal zu speichern...
Leider reagiert der Server zur Zeit nicht. Warte bitte ein paar Minuten und versuche dann noch einmal zu speichern.
