Diffusion Isabelle e5750bcb8c41

removed experimental prover z3_tptp
e5750bcb8c41
Actions

Tags

None

Subscribers

None

Description

removed experimental prover z3_tptp

Details

Provenance

Authored on

Parents

rISABELLE46e3a423a787: print more verbose information

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEe5750bcb8c41: removed experimental prover z3_tptp.Jan 31 2022, 4:09 PM

Changes (5)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

TPTP/

atp_problem_import.ML

Tools/

ATP/

Mirabelle/

mirabelle_sledgehammer.ML

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLEe5750bcb8c41

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/TPTP/atp_problem_import.ML

Loading...

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...