lemma-discovery
There are 1 repositories under lemma-discovery topic.
mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
There are 1 repositories under lemma-discovery topic.
Automated Theory Exploration in Coq using Haskell's QuickSpec