Side by side
Plausible vs SmallCheck
Both stand on property-based testing tools. Which one you can start free with, which one lets you read the code, and what each costs once you pay.
Free plan
Plausible adds property checking and counterexample search directly to Lean’s tactic workflow. Users working with custom types need to provide the documented instances or Arbitrary support.
Visit Plausible Free plan
Visit SmallCheck The facts
| Plausible | SmallCheck | |
|---|---|---|
| Free plan | Yes | Yes |
| Open source | Not published | Not published |
| Runs on | Not published | Not published |
| Lowest paid plan | Not published | Not published |
| Plans published | None | None |
| Maker | Not published | Not published |
| Website | github.com | hackage.haskell.org |
| On property-based testing tools | #22 of 28 | #26 of 28 |
Plausible: what it does well
- Free Apache-2.0 project
- Finds counterexamples
- Shrinks failing cases
- Programmatic property checking
- Supports derived Arbitrary instances
What to know first
- Limited to Lean 4
- Custom types require support instances
- Not a general multi-language test framework
SmallCheck: what it does well
Alternatives to Plausible Alternatives to SmallCheck The whole list