Translation of proofs from the SMT solver veriT to Dedukti
Primary LanguageOCaml
No issues in this repository yet.