Skip to content

Pull requests: leanprover-community/doc-gen

New pull request New
9 Open 119 Closed
9 Open 119 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Switch to using markdownit for rendering
#177 opened Mar 3, 2023 by eric-wieser • Draft
display automatic translations to informal math
#168 opened Jul 21, 2022 by robertylewis Loading…
47
Add opensearch support
#161 opened Mar 3, 2022 by eric-wieser Loading…
7
Convert to an installable python package
#148 opened Dec 17, 2021 by eric-wieser Loading…
6
Add a link to the import graph viewer enhancement New feature or request
#145 opened Dec 11, 2021 by eric-wieser Loading…
6
Searching the documentation with filters
#131 opened May 14, 2021 by polibb 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 Loading…
7
feat(typeclass_stats): scrape typeclass hierarchy into JSON
#52 opened Aug 25, 2020 by jcommelin Loading…
2
ProTip! Exclude everything labeled bug with -label:bug.