Signature inference for Functional Property Discovery in Haskell
-
Updated
Sep 17, 2017 - Haskell
#
quickspec
Here are 3 public repositories matching this topic...
Discover laws in your code like with QuickSpec
-
Updated
Jun 6, 2021 - TypeScript
Automated Theory Exploration in Coq using Haskell's QuickSpec
coq property-based-testing property-testing conjectures theory-exploration quickspec lemma-discovery
-
Updated
May 18, 2021 - Coq
Improve this page
Add a description, image, and links to the quickspec topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the quickspec topic, visit your repo's landing page and select "manage topics."