Def SlimCheck.NamedBinder

Modification history

2024-11-01 06:14

Mathlib/Testing/SlimCheck/Testable.lean

refactor: move slim_check to plausible (#18459) …

Deleted SlimCheck.NamedBinder View on Github →

2022-06-23 18:33

Mathlib/Testing/SlimCheck/Testable.lean

chore: fix unused variables from linter (#289) …

Modified SlimCheck.NamedBinder View on Github →

2022-04-28 15:22

Mathlib/Testing/SlimCheck/Testable.lean

feat: slim check (#254) …

Added SlimCheck.NamedBinder View on Github →