Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with theory-exploration

A curated list of projects in awesome lists tagged with theory-exploration .

https://github.com/mikkelmilo/rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

conjectures coq lemma-discovery property-based-testing property-testing quickspec theory-exploration

Last synced: 06 Nov 2024