Geoff Reedy es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Son necesarias las pruebas coinductive?
el 6 de Diciembre, 2016 10 votos
Últimas Respuestas
- -3 votos
Ejemplos de inducción matemática
el 15 de Mayo, 2012 -3 votos
Etiquetas favoritas
- 1 x proof-teoría
- 1 x teorema-provers
- 1 x soft-question
- 1 x induction
- 1 x examples-counterexamples
- 1 x big-list
- 1 x education