HomeIsabelle/Phabricator

reconstruction of veriT proofs in NEWS

Description

reconstruction of veriT proofs in NEWS

Details

Provenance
mathias.fleuryAuthored on
Parents
rISABELLEb44e894796d5: add reconstruction for the SMT solver veriT
Branches
Unknown
Tags
Unknown

Event Timeline