BrownianMotion
Construction of a Brownian Motion in Lean
Sort by
Require Order
doc-gen4
v4.21.0-rc2
Document Generator for Lean 4checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationskolmogorov_extension4
79b9c07
Lean formalization of the Kolmogorov extension theoremdoc-gen4
v4.21.0-rc2
Document Generator for Lean 4checkdecls
lean4.18.0
Tiny Lean library to check existence of declarationsmathlib
2f402e0
The math library of Lean 4