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