GitHub repository: ATOMSLab/doc-gen
Primary language: Python
Description: Generate HTML documentation for mathlib and Lean