RemyDegennekolmogorov_extension4

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

  1. RemyDegenne/BrownianMotionuses7d76e18

    Construction of a Brownian Motion in Lean

  2. formal-applied-math/MathFinuses7d76e18

    The Lean Financial Mathematics Library