Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: theory-exploration

mikkelmilo/rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

Language: Coq - Size: 160 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 2 - Forks: 1

rudymatela/speculate

Speculate laws about Haskell functions

Language: Haskell - Size: 1.05 MB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 30 - Forks: 0

Related Keywords
property-based-testing 2 property-testing 2 theory-exploration 2 conjectures 1 coq 1 lemma-discovery 1 quickspec 1 enumerative-testing 1 haskell 1 leancheck 1 property-discovery 1 testing 1