Diffusion Isabelle 212e9ec706cf

run all installed provers by default
212e9ec706cf
Actions

Tags

None

Subscribers

None

Description

run all installed provers by default

Details

Provenance

Authored on

Parents

rISABELLEed510a3693e2: update slice options centrally

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE212e9ec706cf: run all installed provers by default.Jan 31 2022, 4:09 PM

Changes (8)

Path

Size

src/

Doc/

Sledgehammer/

document/

HOL/

Tools/

SMT/

Sledgehammer/

sledgehammer.ML

sledgehammer_atp_systems.ML

sledgehammer_commands.ML

sledgehammer_prover.ML

sledgehammer_prover_minimize.ML

sledgehammer_prover_smt.ML

rISABELLE212e9ec706cf

src/Doc/Sledgehammer/document/root.tex

Loading...

src/HOL/Tools/SMT/smt_config.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_minimize.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML

Loading...