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