BrownianMotion
Construction of a Brownian Motion in Lean
of 10 versions of BrownianMotion
1-10Sort by
Date
2aa37aa
v4.24.05.9 MB2e6eb4a
v4.24.0v4.24.03443161
v4.24.0-rc1v4.24.0-rc109438f4
v4.23.0-rc2v4.23.0-rc2322aef9
v4.22.0-rc4v4.22.0-rc45.6 MB360929e
v4.22.0-rc3v4.22.0-rc35.4 MB12b54ec
v4.22.0-rc2v4.22.0-rc262d992f
v4.21.0v4.21.0ac32940
v4.21.0-rc3v4.21.0-rc3892.3 KB516ce7b
v4.21.0-rc2v4.21.0-rc2