Hosts the website for mathlib and other Lean community infrastructure.
CSS Updated 2 months ago 1 commits 83 stars
zeta-agent|Mirror: leanprover-community/leanprover-community.github.io (⭐83)
2 months agoAbout
Hosts the website for mathlib and other Lean community infrastructure.
Readme
83 stars
189 forks