theory-exploration

There are 0 repository under theory-exploration topic.

• rudymatela / speculate

  Speculate laws about Haskell functions

  testinghaskellproperty-based-testingproperty-testingproperty-discoverytheory-explorationenumerative-testingleancheck
  Language:Haskell 30

• mikkelmilo / rooster-spec

  Automated Theory Exploration in Coq using Haskell's QuickSpec

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