mgrabovsky / leanprover-community.github.io Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Home Page: https://leanprover-community.github.io/
License: MIT License