☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (9)
Dependents (1)
kolmogorov_extension4
Lean formalization of the Kolmogorov extension theorem
Displaying
1-1
of
1
versions of
kolmogorov_extension4
Sort by
Date
Not a part of any version track.
4eec063
12 days ago
Released on January 27, 2026 at 8:47:35PM
Commit 4eec063 builds on its recent leanprover/lean4:v4.28.0-rc1
v4.28.0-rc1
773.6 KB
Build archive size: 773644 bytes.
1
20