Commit 2023-05-10 07:35 15c47a59

View on Github →

feat: simplify slim_check, removing proofs (#3835) Per zulip.

depends on: #3114

Estimated changes

Modified Mathlib/Testing/SlimCheck/Sampleable.lean

deleted def SlimCheck.Fin.shrink

modified def SlimCheck.Nat.shrink

Modified Mathlib/Testing/SlimCheck/Testable.lean

deleted def SlimCheck.Testable.minimizeAux