leanprover

leanprover/doc-gen4

Document Generator for Lean 4

2 good first / help-wanted issues · Lean · last activity Sep 13, 2025

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 1 year ago

help wanted

leanprover/doc-gen4

103

Document Generator for Lean 4

Lean

#lean4

Show documentation for built-in Quot stuff about 1 year ago

good first issue help wanted

leanprover/doc-gen4

103

Document Generator for Lean 4

Lean

#lean4