Saltar a navegación principal
Saltar a contenido
Saltar a pie
Javier Falcó
Docencia
Investigación
Investigación
Formalizaciones en Lean
Libros
Matemáticas Experimentales
Cerebros Artificiales
Calculus Casebook
MatExp
MatExp
Relojes solares
Recursos
Sobre mi
Language selector
ES
EN
Alternar menú
Docencia
Investigación
Investigación
Formalizaciones en Lean
Libros
Matemáticas Experimentales
Cerebros Artificiales
Calculus Casebook
MatExp
MatExp
Relojes solares
Recursos
Sobre mi
Language selector
ES
EN
Alternar búsqueda
Alternar menú
Javier Falcó
Profesor Titular de Universidad
Análisis Matemático
Universidad de Valencia
Seguir
Email
Website
This page needs JavaScript to show the formalization.
Open the Lean documentation
.
Términos de búsqueda...
