Reservoir
No results found
All Packages
LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
#math
#combinatorics
#additive-combinatorics
#probabilitistic-combinatorics
#extremal-combinatorics
#set-family
#graph-theory
#model-theory
Readme
Versions (6)
Dependencies (9)
Displaying
1-6
of
6
versions of
LeanCamCombi
Sort by
Date
Not a part of any version track.
cd307b9
v4.21.0
a day ago
Released on June 30, 2025 at 11:42:15AM
Commit cd307b9 builds on its recent leanprover/lean4:v4.21.0
v4.21.0
2.0 MB
Build archive size: 2015760 bytes.
Not a part of any version track.
cd307b9
v4.21.0
a day ago
Released on June 30, 2025 at 11:42:15AM
Commit cd307b9 builds on its recent leanprover/lean4:v4.21.0
v4.21.0
2.0 MB
Build archive size: 2015760 bytes.
Not a part of any version track.
6ac2c45
v4.20.1
25 days ago
Released on June 6, 2025 at 8:29:04AM
Commit 6ac2c45 builds on its recent leanprover/lean4:v4.20.1
v4.20.1
2.0 MB
Build archive size: 2014724 bytes.
Not a part of any version track.
f842fc7
v4.19.0
2 months ago
Released on May 2, 2025 at 6:08:12PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.19.0
Not a part of any version track.
b1def00
v4.18.0
3 months ago
Released on April 4, 2025 at 7:39:54AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
4e5cfa9
v4.17.0
4 months ago
Released on March 5, 2025 at 3:00:57PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
1
20