TER Topo

Ceci est un projet de formalisation du cours de Topologie en Magistère de Mathématiques de David Harari.

Name		Name	Last commit message	Last commit date
Latest commit History 121 Commits
.github/workflows		.github/workflows
TopoTER		TopoTER
.gitignore		.gitignore
README.md		README.md
TopoTER.lean		TopoTER.lean
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Navigation Menu