# lfsctosmtcoq

Conversion of LFSC proofs produced by CVC4 to the proof traces format of veriT
for SMTCoq.