RemyDegennekolmogorov_extension4

Lean formalization of the Kolmogorov extension theorem
Displaying 1-1 of 1 packages depending on RemyDegenne/kolmogorov_extension4
Sort by

  1. RemyDegenne/BrownianMotionusesd85fcf8

    Construction of a Brownian Motion in Lean