Automated Theory Exploration in Coq using Haskell's QuickSpec
Primary LanguageCoqGNU General Public License v3.0GPL-3.0