Translate SMT-LIB quantified theorems into Coq
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.