Jupyter Notebook Viewer

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

This website does not host notebooks, it only renders notebooks available on other websites.

Delivered by Fastly, Rendered by OVHcloud

nbviewer GitHub repository.

nbviewer version: 8b013f7