Def Random.randBool

Modification history

2023-12-12 07:55

Mathlib/Control/Random.lean

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

Modified Random.randBool View on Github →

2022-03-14 10:11

Mathlib/Control/Random.lean

fix: Off by one random Bool error (#225)

Modified Random.randBool View on Github →

2022-03-08 09:05

Mathlib/Control/Random.lean

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

Added Random.randBool View on Github →