RemyDegennekolmogorov_extension4

Lean formalization of the Kolmogorov extension theorem
Displaying 1-1 of 1 versions of kolmogorov_extension4
Sort by
  1. Not a part of any version track.
    80af627
    a day ago
    Released on October 25, 2025 at 11:59:10AM
    Commit 80af627 builds on its recent leanprover/lean4:v4.25.0-rc2
    v4.25.0-rc2
    645.9 KB Build archive size: 645899 bytes.