GeoGebraBookok: GeoCoq Figures
Figure used in our formalization of foundations of geometry in Coq.
- Célcsoport (életkor)
- 19+
- Nyelv
- English
Az összes változtatás elmentve
Hiba
Időtúllépés történt. Újra megpróbálkozunk a mentéssel...
A szerver sajnos nem válaszol. Várj néhány percet és próbáld újra elmenteni az anyagot később.
