Giters

qsctr / smt2coq

Translate SMT-LIB quantified theorems into Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

smt2coq

Translate SMT-LIB quantified theorems into Coq

About

Translate SMT-LIB quantified theorems into Coq

License:MIT License

Languages

Language:Haskell 100.0%