Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-01 18:54 0c2e77c9

View on Github →

feat(testing): property based testing (basics) (#3915) Add gen monad, sampleable and testable type classes

Estimated changes

added def lazy_list.init
added def slim_check.gen
added def slim_check.retry
added structure slim_check.slim_check_cfg
added inductive slim_check.test_result