Diffusion Isabelle 30ab39ab4117

added dummy_fof prover to Sledgehammer
30ab39ab4117
Actions

Tags

None

Subscribers

None

Description

added dummy_fof prover to Sledgehammer

Details

Provenance

Authored on

Parents

rISABELLE5cd8b5cd0451: fixed malconfigured option output_dir in mirabelle

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE30ab39ab4117: added dummy_fof prover to Sledgehammer.Aug 4 2021, 8:23 AM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

Sledgehammer/

sledgehammer_atp_systems.ML

rISABELLE30ab39ab4117

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML

Loading...