mathlib
0c2e77c9 - feat(testing): property based testing (basics) (#3915)

Commit

5 years ago

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

References

Author

cipher1024

Parents