ProofObject

ProofObject[…] represents a proof object generated by FindEquationalProof.

Examples

Generate a proof:

proof = FindEquationalProof[a == c, {a == b, b == c}]
(* ProofObject[...] *)

Extract the proof steps:

proof["ProofGraph"]

Please visit the official Wolfram Language Reference for more details.