Def Random.rand

Modification history

2023-12-12 07:55

Mathlib/Control/Random.lean

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

Modified Random.rand View on Github →

2022-03-08 09:05

Mathlib/Control/Random.lean

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

Added Random.rand View on Github →