1 2 3 4 5
# lfsctosmtcoq Conversion of LFSC proofs produced by CVC4 to the proof traces format of veriT for SMTCoq.