George 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
- 16 votos
Se busca: un "Coq para el matemático que trabaja"
el 25 de Julio, 2017 16 votos
Etiquetas favoritas
- 1 x co.combinatorics
- 1 x en-computación
- 1 x libro-recomendado
- 1 x matemáticas-constructivas
- 1 x prueba-asistentes
- 1 x matemáticas