Mathlib v3 is deprecated. Go to Mathlib v4

Def primality_test

Modification history

2021-03-24 16:04

test/random.lean

feat(tactic/lint): linter for @[class] def (#6061) …

Modified primality_test View on Github →

2020-09-12 15:49

test/random.lean

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

Modified primality_test View on Github →

2020-08-21 00:08

test/slim_check.lean

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

Added primality_test View on Github →