main
  1. Matematicas_en_Lean4
Name
jaalonso's repositories
Licencia
src
.gitignore
LICENSE
Makefile
Matematicas_en_Lean4.pdf
Matematicas_en_Lean4.tex
README.org
definiciones.tex
estilo.css
lake-manifest.json
lakefile.lean
lean-toolchain
preambulo.tex