Def slim_check.minimize
Modification history
2021-09-08 17:50
src/testing/slim_check/testable.lean
lint(testing/slim_check/*): break long lines (#9091)
Modified slim_check.minimizeView on Github →2020-10-03 18:56
src/testing/slim_check/testable.lean
feat(slim_check): sampleable instance for generating functions and injective functions (#3967) …
Modified slim_check.minimizeView on Github →