This repository was archived by the owner on Aug 15, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: leanprover-community/doc-gen
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
display automatic translations to informal math
#168
opened Jul 21, 2022 by
robertylewis
Member
Loading…
Add a link to the import graph viewer
enhancement
New feature or request
#145
opened Dec 11, 2021 by
eric-wieser
Member
Loading…
feat(typeclass_stats): scrape typeclass hierarchy into JSON
#52
opened Aug 25, 2020 by
jcommelin
Member
Loading…
ProTip!
Updated in the last three days: updated:>2026-04-13.