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

Automated Theory Exploration in Coq using Haskell's QuickSpec
https://github.com/mikkelmilo/rooster-spec

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

Last synced: 7 days ago
JSON representation

Automated Theory Exploration in Coq using Haskell's QuickSpec

• Host: GitHub
• URL: https://github.com/mikkelmilo/rooster-spec
• Owner: mikkelmilo
• License: gpl-3.0
• Created: 2019-09-09T10:03:59.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2021-05-18T11:17:53.000Z (over 3 years ago)
• Last Synced: 2023-08-06T07:05:47.854Z (over 1 year ago)
• Topics: conjectures, coq, lemma-discovery, property-based-testing, property-testing, quickspec, theory-exploration
• Language: Coq
• Homepage:
• Size: 160 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project