quickspec

There are 3 repositories under quickspec topic.

NorfairKing/easyspec
Signature inference for Functional Property Discovery in Haskell
Language:Haskell37 8 12
dubzzz/fast-spec
Discover laws in your code like with QuickSpec
Language:TypeScript15 3 21
mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
Language:Coq4 1 11