-
Simon Guilloud authored
This adds support for Goéland as a proof tactic, and for parsing of proofs in SC-TPTP format.
Simon Guilloud authoredThis adds support for Goéland as a proof tactic, and for parsing of proofs in SC-TPTP format.
This adds support for Goéland as a proof tactic, and for parsing of proofs in SC-TPTP format.
This adds support for Goéland as a proof tactic, and for parsing of proofs in SC-TPTP format.