issues
search
leanprover-community
/
doc-gen
Generate HTML documentation for mathlib and Lean
https://leanprover-community.github.io/mathlib_docs/
Apache License 2.0
21
stars
20
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Make it clear this is for mathlib 3
#178
eric-wieser
closed
1 year ago
1
Switch to using markdownit for rendering
#177
eric-wieser
opened
1 year ago
0
Include the archive and counterexamples directories
#176
eric-wieser
closed
1 year ago
15
Display of unit.star is glitched
#175
Komyyy
opened
1 year ago
1
Add support for U+E003 links in Lean 3.49.0
#174
eric-wieser
closed
1 year ago
4
feat: split instance lists between pi and forall and implies and function
#173
eric-wieser
closed
1 year ago
2
feat: add a new page with very basic documentation for `Pi`/`Sort`/`Type`/`Prop`
#172
eric-wieser
closed
1 year ago
7
updated static branch
#171
ssharlin
closed
1 year ago
0
Connect up feedback for informal translations
#170
EdAyers
closed
2 years ago
0
fix lie told by github-actions bot
#169
robertylewis
closed
2 years ago
0
display automatic translations to informal math
#168
robertylewis
opened
2 years ago
31
Show many more attributes
#167
eric-wieser
closed
2 years ago
4
Fix plaintext summary
#166
eric-wieser
closed
2 years ago
3
Add a test of `plaintext_summary`
#165
eric-wieser
closed
2 years ago
0
Add support for gitpod development
#164
eric-wieser
closed
2 years ago
1
Show instances available for a given type
#163
eric-wieser
closed
2 years ago
13
Add opengraph tags to `/find/` urls
#162
eric-wieser
closed
2 years ago
11
Add opensearch support
#161
eric-wieser
opened
2 years ago
7
Adjusted dark theme
#160
eric-wieser
closed
2 years ago
12
Inductive type display is misleading
#159
eric-wieser
opened
2 years ago
0
add dark theme
#158
cuppajoeman
closed
2 years ago
32
Use self hosted runners for CI.
#157
gebner
closed
2 years ago
0
feat: simplest possible docstring search
#156
gebner
closed
2 years ago
4
Stripping whitespaces from user queries
#155
arthurpaulino
closed
2 years ago
1
feat: using edit distance for search results
#154
arthurpaulino
closed
2 years ago
2
feat: use STIX Two Math as a backup font
#153
ericrbg
closed
2 years ago
4
Case insensitivity causes broken links
#152
alexjbest
closed
2 years ago
2
Copy binder types from actual declaration, fixes display of or.inl
#151
alexjbest
closed
2 years ago
4
Do not use localized notation for pi and mu
#150
alexjbest
closed
2 years ago
2
Make sorried definitions stand out in the docs
#149
eric-wieser
closed
2 years ago
2
Convert to an installable python package
#148
eric-wieser
opened
2 years ago
3
Generate docs for the archive
#147
alexjbest
closed
1 year ago
0
style: change decl indenting from {4,8} "x" heights to {2,4} spaces
#146
eric-wieser
closed
2 years ago
0
Add a link to the import graph viewer
#145
eric-wieser
opened
2 years ago
5
Add canonical urls
#144
eric-wieser
closed
2 years ago
4
linkifier misses declarations ending with backticks
#143
bryangingechen
opened
2 years ago
0
Output a gexf file for exploring the import graph
#142
eric-wieser
closed
2 years ago
0
Show `noncomputable` in the docs
#141
eric-wieser
closed
2 years ago
9
Added a header to mathlib index
#140
arthurpaulino
closed
2 years ago
4
Small left sidebar tweaks
#139
arthurpaulino
closed
2 years ago
4
Improved index
#138
arthurpaulino
closed
2 years ago
0
Update displayed attributes, include `protected`
#137
robertylewis
closed
2 years ago
0
noncomputable declarations
#136
bryangingechen
closed
2 years ago
1
protected declarations
#135
bryangingechen
closed
2 years ago
0
Upload the json export to github
#134
eric-wieser
closed
3 years ago
2
named simp sets
#133
bryangingechen
opened
3 years ago
0
allow deploy action to work on PRs from external forks
#132
robertylewis
closed
3 years ago
1
Searching the documentation with filters
#131
polibb
opened
3 years ago
35
.github/workflows: update elan URL
#130
bryangingechen
closed
3 years ago
0
README: clarify line about .olean files
#129
waldyrious
opened
3 years ago
3
Next