GeoGebra Kitabı: GeoCoq Figures
Figure used in our formalization of foundations of geometry in Coq.
- Hedef Grup (Yaş)
- 19+
- Dil
- English
Bütün değişiklikler kaydedildi
Hata
Bir zaman aşımı oluştu. Tekrar kaydetmeyi deniyor...
Üzgünüz, fakat sunucu yanıt vermiyor. Lütfen bir kaç dakika bekledikten sonra kaydetmeyi yeniden deneyin.
