Mathlib v3 is deprecated. Go to Mathlib v4

Def io.run_rand_with

Modification history

2020-09-12 15:49
src/system/random/basic.lean
feat(slim_check): add test cases (#4100)
Added io.run_rand_withView on Github →