Diffusion Isabelle 41fd2e8f6b16

more robust TSTP proof parsing
41fd2e8f6b16
Actions

Tags

None

Subscribers

None

Description

more robust TSTP proof parsing

Details

Provenance

Authored on

Parents

rISABELLE7ff39293e265: added possibility of extra options to SMT slices

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE41fd2e8f6b16: more robust TSTP proof parsing.Feb 7 2022, 4:59 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

ATP/

Sledgehammer/

sledgehammer_commands.ML

sledgehammer_prover_atp.ML

rISABELLE41fd2e8f6b16

src/HOL/Tools/ATP/atp_proof.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...