GitHub repository: leanprover-community/doc-gen
Primary language: Python
Created: 2019-11-25T12:40:37Z
Description: Generate HTML documentation for mathlib and Lean