Geogebrina knjiga: GeoCoq Figures
Figure used in our formalization of foundations of geometry in Coq.
- Ciljana skupina (godine)
- 19+
- Jezik
- English
Sve promjene su spremljene
Greška
Iskteklo je vrijeme. Pokušavamo ponovno spremiti...
Žao nam je. Server trenutno ne reagira. Molimo pričekajte nekoliko minuta, pa pokušajte spremiti ponovno.
