Diffusion Isabelle 1a0a536b8aaf

removed support for experimental Pirate prover
1a0a536b8aaf
Actions

Tags

None

Subscribers

None

Description

removed support for experimental Pirate prover

Details

Provenance

Authored on

Parents

rISABELLE14de47e29fe4: get rid of remote_vampire since it's hard, if possible at all, to follow…

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE1a0a536b8aaf: removed support for experimental Pirate prover.Jul 16 2021, 3:42 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

ATP/

rISABELLE1a0a536b8aaf

src/HOL/Tools/ATP/atp_proof.ML

Loading...