/leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

Primary LanguageCSSMIT LicenseMIT

Stargazers

No one’s star this repository yet.