Sign inSign up

RemyDegenne/brownian-motion

Construction of a Brownian Motion in Lean

LeanStars 31Forks 26Watchers 31Open issues 27License Apache License 2.0
Details
仓库信息
OwnerRemyDegenne
Homepagehttps://remydegenne.github.io/brownian-motion/
GitHubhttps://github.com/RemyDegenne/brownian-motion
Last pushed2025-12-12
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--