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