Skip to content

Pull requests: leanprover-community/doc-gen

New pull request New
11 Open 120 Closed
11 Open 120 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: per-page canonical via mathlib3→mathlib4 map
#181 opened May 7, 2026 by FordUniver Loading…
feat: add mathlib3 deprecation banner and point canonical URLs at mathlib4
#180 opened May 7, 2026 by kim-em Contributor Loading…
13
Switch to using markdownit for rendering
#177 opened Mar 3, 2023 by eric-wieser Member • Draft
display automatic translations to informal math
#168 opened Jul 21, 2022 by robertylewis Member Loading…
47
Add opensearch support
#161 opened Mar 3, 2022 by eric-wieser Member Loading…
7
Convert to an installable python package
#148 opened Dec 17, 2021 by eric-wieser Member Loading…
6
Add a link to the import graph viewer enhancement New feature or request
#145 opened Dec 11, 2021 by eric-wieser Member Loading…
6
Searching the documentation with filters
#131 opened May 14, 2021 by polibb Collaborator Loading…
41
README: clarify line about .olean files
#129 opened Apr 10, 2021 by waldyrious Loading…
5
Do not write json to stdout
#99 opened Nov 18, 2020 by eric-wieser Member Loading…
7
feat(typeclass_stats): scrape typeclass hierarchy into JSON
#52 opened Aug 25, 2020 by jcommelin Member Loading…
2
ProTip! Add no:assignee to see everything that’s not assigned.