issues
search
leanprover-community
/
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
54
stars
123
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore: restore advice on left/right in injectivity lemmas
#551
kim-em
closed
4 hours ago
0
Prime.olean' of module Mathlib.Data.Nat.Prime does not exist 1.1. Introduction
#550
xvdp
closed
5 days ago
1
Added course at RWTH Aachen
#549
PhoenixIra
opened
6 days ago
0
Update courses.yaml
#548
lijungeometry
opened
1 week ago
0
chore: add missing ITP 23 papers
#547
grunweg
closed
2 weeks ago
0
chore: add tags to all ITP24 papers
#546
grunweg
closed
2 weeks ago
1
added course Formalisms Every Computer Scientist Should Know
#545
madvorak
opened
2 weeks ago
0
add Christian Merten to the reviewers team
#544
chrisflav
closed
3 weeks ago
0
Update events.yaml
#543
RemyDegenne
closed
3 weeks ago
0
Duke University course
#542
Rebelscolonel
closed
2 weeks ago
0
Update #queue
#541
bryangingechen
closed
3 weeks ago
0
fix build by quoting line with stray colon
#540
bryangingechen
closed
3 weeks ago
1
Explain the predicates as suffixes convention
#539
YaelDillies
closed
4 weeks ago
0
chore(lean.bib): restore comment explaining how to run bibtool
#538
grunweg
closed
1 month ago
0
chore: add papers from ITP 2024
#537
grunweg
closed
1 month ago
0
Add MathIR course from Göttingen
#536
physikerwelt
closed
4 weeks ago
0
link to official Lean instructions to install Lean
#535
fpvandoorn
closed
1 month ago
0
Update the contribution guide
#534
YaelDillies
closed
1 month ago
0
update #queue
#533
bryangingechen
closed
1 month ago
0
update #queue URL
#532
bryangingechen
closed
1 month ago
0
feat(contribute/tags_and_branches): document nightly and bump branches
#531
jcommelin
closed
1 month ago
1
Undergrad math not in mathlib: Outdated?
#530
harahu
opened
1 month ago
2
statistics page: make mathlib3 graphs end when the repo was archived
#529
bryangingechen
opened
2 months ago
0
fix: get mathlib4 contributors instead of mathlib3
#528
bryangingechen
closed
2 months ago
0
Add Master course in Lyon 2024-25
#527
faenuccio
closed
1 month ago
2
Add comments about what is in scope for mathlib
#526
kbuzzard
opened
2 months ago
0
Add two courses at ENS-Lyon in 2024/25
#525
faenuccio
closed
2 months ago
2
Update teams.yaml
#524
mariainesdff
closed
2 months ago
0
Remove authorship and copyright from doc pages
#523
eric-wieser
closed
2 months ago
0
Induction naming convention
#522
edegeltje
closed
3 weeks ago
0
feat: add dependency graph
#521
joneugster
closed
2 months ago
2
Updates outdated link to lake documentation
#520
kyleellefsen
closed
2 months ago
1
Add RSS feeds for courses and events like exists for the blog
#519
brittAnderson
opened
2 months ago
0
Update Fordham course info
#518
hrmacbeth
closed
2 months ago
0
some updates to bios and teams
#517
jcommelin
closed
2 months ago
0
Add Loogle to sidebar links
#516
omentic
closed
2 months ago
3
fix(people.yaml): Yury's employer
#515
urkud
closed
2 months ago
0
Update career details for Oliver Nash
#514
ocfnash
closed
2 months ago
0
Prominently mention the API documentation
#513
omentic
closed
2 months ago
3
Eric got his PhD and now has a job
#512
eric-wieser
closed
2 months ago
0
announce Lean Tutorial in Vienna
#511
shetzl
closed
3 months ago
0
doc: add tips about lake usage
#510
joneugster
opened
3 months ago
1
Add Dagur Asgeirsson to the list of mathlib reviewers
#509
dagurtomas
closed
3 months ago
0
make sure the example copyright header would pass CI
#508
edegeltje
closed
3 months ago
3
Fix typo in naming.md
#507
victorliu5296
closed
3 months ago
1
Fix typos in style guide
#506
pitmonticone
closed
3 months ago
0
Port the `theories` folder
#505
riccardobrasca
closed
1 month ago
1
Fix documentation for calc
#504
riccardobrasca
closed
1 month ago
1
Fix "calc mode"
#503
Komyyy
closed
4 months ago
0
rewrite of Yael's lifecycle PR
#502
kim-em
closed
4 months ago
2
Next