theory-exploration

There are 2 repositories under theory-exploration topic.

rudymatela/speculate
Speculate laws about Haskell functions
Language:Haskell30 6 120
mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
Language:Coq4 1 11