GitHub repository: leanprover-community/docgen-action
Primary language: JavaScript
Description: Action to generate Lean documentation pages