Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
misc-yd
Miscellaneous projects I am working on in Lean
Lean
Emerging
additive-combinatorics
combinatorics
lean4
GitHub
Website
Stars
4
Forks
1
Contributors
2
Last push
2d ago
Recent commits
Latest commits.
Bump to v4.31.0
bb291f0
Yaël Dillies
2d ago
chore: bump mathlib to 73b2611, fix breaking changes (#10)
3abdd54
github-actions[bot]
7d ago
chore: bump mathlib to 8589236, fix breaking changes (#9)
e36b0bb
github-actions[bot]
8d ago
Remove material that was moved to MeanFourier/FormalConjectures
1ab070c
Yaël Dillies
10d ago
chore: bump mathlib to eb15deb, fix breaking changes (#8)
43aa70e
github-actions[bot]
10d ago
chore: bump mathlib to 89ce8bf, fix breaking changes (#7)
47e399c
github-actions[bot]
12d ago
Make downstream-reports create a broken bump PR only
e037d39
Yaël Dillies
17d ago
chore: bump mathlib to d568c8c, fix breaking changes (#5)
89e3575
github-actions[bot]
19d ago
Top contributors
Builders behind this project.
YaelDillies
51 commits
github-actions[bot]
5 commits
