GeoGebra Book: GeoCoq Figures
Figure used in our formalization of foundations of geometry in Coq.
- Target Group (Age)
- 19+
- Language
- English
Error
A timeout occurred. Trying to re-save …
Sorry, but the server is not responding. Please wait a few minutes and then try to save again.
