Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
Formalizacion_de_las_matematicas_en_Lean
Name
jaalonso's repositories
blog
src
.gitignore
LICENSE
README.org
leanpkg.path
leanpkg.toml