Geeks
berndlosert
/
convergence
Theory of convergence spaces in Lean 3
Primary Language
Lean
convergence GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Stargazers
alreadydone
Heidelberg / Shenzhen