Diffusion Isabelle ce3a05ad07b7

added support for Zipperposition on SystemOnTPTP
ce3a05ad07b7
Actions

Tags

None

Subscribers

None

Description

added support for Zipperposition on SystemOnTPTP

Details

Provenance

Authored on

Parents

rISABELLE3218999b3715: folded experimental Ehoh into E now that E 2.3 has been released

Branches

Unknown

Tags

Unknown

Event Timeline

blanchet committed rISABELLEce3a05ad07b7: added support for Zipperposition on SystemOnTPTP.Oct 25 2019, 3:59 PM

Changes (3)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

ATP/

atp_proof_reconstruct.ML

rISABELLEce3a05ad07b7

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/ATP/atp_proof_reconstruct.ML

Loading...

src/HOL/Tools/ATP/atp_systems.ML

Loading...