☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (9)
MCMC
Formalization of Markov Chain Monte Carlo in Lean 4
Displaying
1-4
of
4
versions of
MCMC
Sort by
Date
Not a part of any version track.
5a93c41
a month ago
Released on May 6, 2026 at 8:11:59AM
Commit 5a93c41 builds on its old leanprover/lean4:v4.29.0
v4.29.0
7.1 MB
Build archive size: 7091316 bytes.
Not a part of any version track.
11f672e
v4.29.0
a month ago
Released on May 5, 2026 at 8:42:37PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.29.0
Not a part of any version track.
2844f29
v4.27.0-rc1
5 months ago
Released on January 13, 2026 at 5:04:24PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.27.0-rc1
Not a part of any version track.
e4046eb
v4.24.0-rc1
9 months ago
Released on September 19, 2025 at 7:24:37PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0-rc1
1
20