leanprover-community/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
CSSMIT
Issues
- 0
- 1
Broken link in `/install/project.html`
#489 opened by Rida-Hamadani - 0
add tactic list of mathlib4
#462 opened by Seasawher - 1
Where is the archive generator?
#452 opened by srid - 4
- 0
- 0
- 1
Broken links in documentation (category_theory)
#267 opened by kevinsullivan - 1
Dead links in linear_algebra page
#262 opened by mcol - 0
- 1
Add a glossary entries for HoTT, UH, TC, fbip, dot notation and API
#226 opened by gabriel-doriath-dohler - 0
Add a glossary entry for `metavariable`
#251 opened by stuart-presnell - 1
yaml parsing has bug with same-title entries
#244 opened by hrmacbeth - 3
Mention Homebrew installation method for macOS
#178 opened by waldyrious - 8
markdown to html conversion mangles `[name](url).`
#175 opened by JasonGross - 2
`{{` cannot be used in markdown files
#168 opened by bryangingechen - 0
Mention everywhere that the installation instructions are for Lean 3 and not Lean 4
#157 opened by bryangingechen - 0
Port some docs by Ed Ayers's edlib repo
#153 opened by bryangingechen - 0
- 2
Syntax highlighting
#127 opened by bryangingechen - 0
incorrect title
#132 opened by bryangingechen - 2
tweet cards like in the docs
#131 opened by robertylewis - 1
- 0
- 0
build is broken by changed declaration
#106 opened by robertylewis - 0
`source` in install/project
#95 opened by shingtaklam1324 - 5
HTML `<title>`s
#75 opened by shingtaklam1324 - 5
I hope this paragraph about `leanpkg` and `leanproject` can be made easier to find
#72 opened by zjiekai - 2
100 theorems links can be simplified
#32 opened by robertylewis - 1
- 0
more variable conventions
#59 opened by bryangingechen - 0
- 4
100 theorems
#14 opened by bryangingechen - 0
notation docs
#15 opened by jcommelin - 4