No results found

kolmogorov_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.
    35bd565
    2 days ago
    Released on May 16, 2025 at 12:50:24PM
    Commit 35bd565 builds on its recent leanprover/lean4:v4.20.0-rc5
    v4.20.0-rc5
    480.5 KB Build archive size: 480475 bytes.