BrownianMotion
Construction of a Brownian Motion in Lean
Sort by
Require Order
checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationskolmogorov_extension4
093d13a
Lean formalization of the Kolmogorov extension theoremmathlib
b0be57c
The math library of Lean 4