kolmogorov_extension4 | Reservoir

METADATA

Apache 2.0
11 days ago
9 stars

LEAN

v4.22.0-rc3
v4.22.0-rc2
v4.21.0
v4.21.0-rc3
v4.21.0-rc2
v4.20.1
v4.20.0
v4.20.0-rc5
v4.20.0-rc2
v4.19.0
12 more

REPOSITORY

RemyDegenne/kolmogorov_extension4

Lean formalization of the Kolmogorov extension theorem