Geeks
Deducteam
/
smt2d
Translation from the SMT-LIB language to Dedukti
Primary Language
OCaml
smt2d GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Watchers
barras
fblanqui
INRIA
frgilber