Matt Gallagher es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 18 votos
¿Hasta qué punto son ciertos los teoremas demostrados por Coq?
el 29 de Mayo, 2015 18 votos
Etiquetas favoritas
- 1 x fundaciones
- 1 x type-teoría
- 1 x prueba-asistentes
- 1 x prueba-formal
- 1 x coq
- 1 x matemáticas