Tech riderRev. 20 Sept 2026
- 1Runs onNot stated by the maker
- 2CostsNot stated by the maker
- 3Supported languagesLean 4
- 4Test runner supportLean 4 tactic framework
- 5Failing-case shrinkingYes
3 lines stated Written from the maker's own pages: github.com
Overview
Plausible is ranked #20 of 27 in property-based testing tools on Specifiction.
Compared on property-based testing tools
- Free plan
- Yesgithub.com
- Supported languages
- Lean 4github.com
- Test runner support
- Lean 4 tactic frameworkgithub.com
- Failing-case shrinking
- Yesgithub.com
Best Plausible alternatives
See all 12 All accessCh 01 Gopter Free planLinuxself-hosted Free to start7.0 All accessCh 02 Hypothesis LinuxMac 6.9 All accessCh 03 fast-check Free planAPILinux Free to start6.8 All accessCh 04 QuickCheck Free planLinux Free to start6.8 All accessCh 05 Scala Hedgehog Free planLinux Free to start6.8 All accessCh 06 CsCheck Free planself-hosted Free to start6.6
Where it ranks on Specifiction
Is Plausible yours?
Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.