Def Rand.split

Modification history

2024-07-03 14:53

Mathlib/Control/Random.lean

chore: remove some whitespace and two other things (#14384) …

Modified Rand.split View on Github →

2023-12-12 07:55

Mathlib/Control/Random.lean

feat(Mathlib/Control/Random): enhance to a monad transformer (#8876) …

Modified Rand.split View on Github →

2022-03-08 09:05

Mathlib/Control/Random.lean

feat: Implement Control.Random without streams (#218)

Added Rand.split View on Github →