GeoGebraboek: GeoCoq Figures
Figure used in our formalization of foundations of geometry in Coq.
- Doelgroep (leeftijd)
- 19+
- Taal
- English
Alle wijzigingen werden opgeslagen
Error
Opslaan duurde te lang. Er wordt opnieuw geprobeerd om op te slaan …
De server reageert niet. Wacht a.u.b. enkele minuten en probeer daarna opnieuw om op te slaan.
