Readme.md « lfsc « src - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

about summary refs log tree commit diff stats

path: root/src/lfsc/Readme.md

blob: 353fbb04340a1b130d6e4b8025bbf2fc47435b63 (plain)

# lfsctosmtcoq

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