issues
search
leanprover
/
leanprover.github.io
www
https://lean-lang.org/
15
stars
24
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
How to contribute a Chinese translation for homepage?
#115
OlingCat
opened
1 month ago
0
[lean-lang.org] broken file
#114
vvs-
closed
5 months ago
1
[lean-lang.org] wrong link
#113
fpvandoorn
closed
5 months ago
2
Replace old site with redirect to lean-lang.org
#112
Kha
closed
5 months ago
0
Remove "work in progress" for Lean 4 manual
#111
hmonroe
opened
6 months ago
2
partially revert: Un-domain self-links
#110
extradosages
closed
7 months ago
1
Broken links to other `leanprover` organization GitHub Pages deployments
#109
pszenher
closed
7 months ago
0
Various updates
#108
Kha
closed
7 months ago
1
doc: update downloads page for releases
#107
david-christiansen
closed
7 months ago
0
chore: remove extra slides from community-meeting-oct-2023
#106
semorrison
closed
8 months ago
0
Add video of Topos Institute Colloquium talk by de Moura
#105
pitmonticone
closed
7 months ago
0
Fix the link to Kevin's Mathstodon.
#104
Julian
closed
10 months ago
0
Twitter -> Mastodon for links.
#103
Julian
closed
10 months ago
3
Installation instructions incomplete
#102
dsb-y
opened
10 months ago
2
replace old Lean Together links with link to community page
#101
semorrison
closed
10 months ago
1
fixes to documentation/
#100
semorrison
closed
10 months ago
0
update download/
#99
semorrison
closed
10 months ago
0
Add new talks by Buzzard and de Moura
#98
pitmonticone
closed
9 months ago
0
Remove sentence saying mathlib is using Lean 3.
#97
PatrickMassot
closed
11 months ago
0
Add talk "Teaching Logic and Mechanized Reasoning with Lean 4" by Avigad
#96
pitmonticone
closed
11 months ago
0
Add videos
#95
pitmonticone
closed
11 months ago
0
Add playlist of the "Learning Mathematics with Lean (2022)" event
#94
pitmonticone
closed
11 months ago
5
Add videos of new UCLA talks
#93
pitmonticone
closed
1 year ago
0
Add new video by Leonardo de Moura
#92
pitmonticone
closed
1 year ago
0
Fix typos
#91
pitmonticone
closed
1 year ago
1
Add reference to Mathlib4 API documentation on Documentation page.
#90
jeremysalwen
opened
1 year ago
0
talks/RacketCon2022.pdf missing
#89
herkhinah
closed
1 year ago
0
Fix nav links on mobile
#88
chanind
closed
1 year ago
1
Update Lean 4 download section
#86
Kha
closed
2 years ago
0
lean4-mode link is outdated
#85
philnguyen
closed
2 years ago
0
Added the new discord server
#84
crabbo-rave
closed
10 months ago
2
add recent talks
#83
Kha
closed
2 years ago
0
fix logo and delete deprecated logos
#82
javra
closed
2 years ago
2
fix link to LT2020 slides
#81
bryangingechen
closed
3 years ago
1
refocus links to community
#80
PatrickMassot
closed
3 years ago
1
publications: remove out-of-date sections and link to community website instead
#79
Kha
closed
3 years ago
2
mention Lean 4/Lean 3c
#78
leodemoura
closed
4 years ago
1
docs: Fix links to `Skinny Bones` Jekyll template.
#77
adyavanapalli
closed
4 years ago
1
fix(index.md): Lean 3 is frozen
#76
PatrickMassot
closed
5 years ago
2
(fix): purging last reference to Gitter
#75
kbuzzard
closed
5 years ago
0
Added additional installation instructions for Lean.
#74
thyrgle
closed
5 years ago
0
convey realistic expectations on documentation page
#73
avigad
closed
6 years ago
0
linkfix in documentation/index
#72
fpvandoorn
closed
6 years ago
0
chore(*): lean-mode is now a separate package
#71
Kha
closed
6 years ago
0
update documentation page
#70
avigad
closed
6 years ago
0
Add links to nightly binaries
#69
Kha
closed
6 years ago
0
Add link to Gitter chat room under documentation.
#68
alashworth
closed
6 years ago
0
[RFC] Begin restructuring the website
#67
jroesch
closed
6 years ago
3
Website Changes
#66
jroesch
opened
7 years ago
1
fix: thesis date
#65
Kha
closed
7 years ago
0
Next