Mathlib v3 is deprecated. Go to Mathlib v4

Def find_prime_aux

Modification history

2020-09-12 15:49

test/random.lean

feat(slim_check): add test cases (#4100)

Modified find_prime_aux View on Github →

2020-08-21 00:08

test/slim_check.lean

feat(system/random): a monad for (pseudo-)randomized computations (#3742)

Added find_prime_aux View on Github →