Figure used in our formalization of foundations of geometry in Coq.
- Grupo destino (edad)
- 19+
- Idioma
- English
Se guardaron todos los cambios
Error
Finalizó el tiempo disponible. Intenta grabar nuevamente.
El servidor no responde. Por favor, intenta guardar nuevamente en unos minutos.
