Def SlimCheck.mkGenerator

Modification history

2024-11-01 06:14

Mathlib/Testing/SlimCheck/Sampleable.lean

refactor: move slim_check to plausible (#18459) …

Deleted SlimCheck.mkGenerator View on Github →

2023-12-17 21:55

Mathlib/Testing/SlimCheck/Sampleable.lean

refactor(Testing/SlimCheck/Sampleable): Qq-ify (#8857) …

Modified SlimCheck.mkGenerator View on Github →

2023-05-10 06:12

Mathlib/Testing/SlimCheck/Sampleable.lean

feat: tactic frontend for slim_check (#3114) …

Added SlimCheck.mkGenerator View on Github →