-
Notifications
You must be signed in to change notification settings - Fork 48
Pull requests: RemyDegenne/brownian-motion
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump leanprover/lean-action from a811f12834a45345026c26b89eea877e0ddad406 to 96e06131c0e9943c780388fd166f55d1e2fa0433
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#520
opened Sep 1, 2026 by
dependabot
Bot
Loading…
feat(StandardBorel): BorelSpace instances for sum and sigma types
#519
opened Aug 26, 2026 by
FrankieNC
Contributor
Loading…
feat: proofs of lemmas 10.12, 10.13, and 10.14 related to elementary predictable sets
awaiting-review
#518
opened Aug 16, 2026 by
pink-iguana
Contributor
Loading…
feat: prove convergence of expectations of the stopped predictable parts
#505
opened Jul 25, 2026 by
FrankieNC
Contributor
Loading…
Add Brownian quadratic variation module
#487
opened Jun 29, 2026 by
rohitmanokaran
Contributor
•
Draft
feat: close the integral tendsto zero sorries in uniformIntegrable_predictableSeqTop (#451)
awaiting-review
#484
opened Jun 24, 2026 by
raphaelrrcoelho
Contributor
Loading…
Referee responses and bibliography additions
#478
opened Jun 22, 2026 by
pfaffelh
Collaborator
Loading…
feat: prove reverse Fatou's lemma (Issue #456)
awaiting-review
#477
opened Jun 20, 2026 by
FrankieNC
Contributor
Loading…
Doob's upcrossing inequality for Countable and NNReal
awaiting-review
#361
opened Jan 20, 2026 by
WojciechCzernous
Contributor
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.