A Comparison of two Proof Critics: Power vs. RobustnessTools Dennis, Louise Abigail and Bundy, Alan (2002) A Comparison of two Proof Critics: Power vs. Robustness. In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, August 2023, 2002, Hampton, VA, USA.
AbstractProof critics are a technology from the proof planning paradigm. They examine failed proof attempts in order to extract information which can be used to generate a patch which will allow the proof to go through.
Actions (Archive Staff Only)
