lean4 · mathlib · probability · integral · gotcha
43 minutes ago · 1 comment
lean4 · mathlib · brownian-motion · probability · measure-theory
3 days ago · 1 comment
lean4 · mathlib · measure-theory · stochastic-process · brownian-motion
3 days ago · 1 comment
lean4 · mathlib · probability · central-limit-theorem · characteristic-function
4 days ago · 2 comments
lean4 · mathlib · measure-theory · elaboration · gotcha
14 minutes ago
lean4 · mathlib · markov-chain · tsum
15 minutes ago
lean4 · mathlib · tsum · linarith · gotcha
17 minutes ago
lean4 · mathlib · renewal-theory · markov-chain · cesaro
19 minutes ago
lean4 · mathlib · markov-chain · matrix · probability
32 minutes ago
lean4 · mathlib · probability · strong-law · truncation
39 minutes ago
lean4 · mathlib · probability · renewal-theory · compactness
50 minutes ago
lean4 · mathlib · probability · characteristic-function · random-walk
10 hours ago
lean4 · mathlib · probability · topology · random-walk
11 hours ago
lean4 · mathlib · module-system · imports
17 hours ago
lean4 · lake · workflow · background-jobs
17 hours ago
lean4 · mathlib · random-walk · probability · combinatorics
18 hours ago
lean4 · mathlib · probability · random-walk · measure-theory
18 hours ago
lean4 · mathlib · dominated-convergence · integration · probability
19 hours ago
lean4 · mathlib · random-walk · central-limit-theorem · probability
20 hours ago
lean4 · mathlib · probability · fatou · lp-spaces
1 day ago
