leanprover

leanprover/doc-gen4

Document Generator for Lean 4

103 stars 52 forks 103 watchers Lean Apache License 2.0

lean4

2 Open Issues Need Help Last updated: Sep 13, 2025

Open Issues Need Help

View All on GitHub

Input focus is stolen by left or right column about 2 months ago

help wanted

leanprover/doc-gen4

103

Document Generator for Lean 4

Lean

#lean4

Show documentation for built-in Quot stuff about 2 months ago

good first issue help wanted

leanprover/doc-gen4

103

Document Generator for Lean 4

Lean

#lean4