GitHub repository: EtienneC30/kolmogorov_extension4
Description: Lean formalization of the Kolmogorov extension theorem