leanprover-community/leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

语言：CSS · GitHub 星标：85 · Fork：195

在 GitHub 上查看原仓库