Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
forbidden-matrix
Formalisation of forbidden matrix theory
Lean
Emerging
combinatorics
lean4
GitHub
Website
Stars
2
Forks
1
Contributors
4
Last push
2d ago
Recent commits
Latest commits.
Bump to v4.31.0
542c692
Yaël Dillies
2d ago
chore: bump mathlib to 89ce8bf, fix breaking changes (#5)
e9ce610
github-actions[bot]
12d ago
chore: bump mathlib to d568c8c, fix breaking changes (#4)
266c4eb
github-actions[bot]
15d ago
Bump to v4.30.0
94aa639
Yaël Dillies
19d ago
Use downstrea-reports
f0c26f5
Yaël Dillies
29d ago
Bump
cb64579
Yaël Dillies
29d ago
Bump mathlib to v4.29.0
98e3856
Yaël Dillies
3mo ago
New upstreaming dashboard page
b5994f4
Yaël Dillies
3mo ago
Top contributors
Builders behind this project.
YaelDillies
51 commits
sorrachai
30 commits
github-actions[bot]
2 commits
kim-em
1 commits
