alexjbest / doc-gen Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/doc-gen
Generate HTML documentation for mathlib and Lean
Home Page: https://leanprover-community.github.io/mathlib_docs/
License: Apache License 2.0