Diffusion Isabelle 6a26a955308e

improve and activate compression for veriT proof reconstruction
6a26a955308e
Actions

Tags

None

Subscribers

None

Description

improve and activate compression for veriT proof reconstruction

Details

Provenance

Authored on

Parents

rISABELLE3883f536d84d: unused (see 29566b6810f7);

Branches

Unknown

Tags

Unknown

Event Timeline

mathias.fleury committed rISABELLE6a26a955308e: improve and activate compression for veriT proof reconstruction.Dec 14 2020, 9:02 PM

Changes (4)

Path

Size

src/

HOL/

SMT_Examples/

SMT_Examples_Verit.thy

Tools/

SMT/

verit_replay_methods.ML

rISABELLE6a26a955308e

src/HOL/SMT_Examples/SMT_Examples_Verit.thy

Loading...

src/HOL/Tools/SMT/smt_config.ML

Loading...

src/HOL/Tools/SMT/verit_proof.ML

Loading...

src/HOL/Tools/SMT/verit_replay_methods.ML

Loading...