quickspec

There are 0 repository under quickspec topic.

• NorfairKing / easyspec

  Signature inference for Functional Property Discovery in Haskell

  haskellquickcheckproperty-testingquickspec
  Language:Haskell 36

• dubzzz / fast-spec

  Discover laws in your code like with QuickSpec

  quickspecfast-checklaws
  Language:TypeScript 14

• mikkelmilo / rooster-spec

  Automated Theory Exploration in Coq using Haskell's QuickSpec

  coqconjecturesquickspectheory-explorationlemma-discoveryproperty-testingproperty-based-testing
  Language:Coq 4