Proofs and Pictures: Proving the Diamond Lemma with the GROVER Theorem Proving System

David Barker-Plummer and S. C. Bailin

In this paper we describe an automated reasoning system, called GROVER, which has a graphical component.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.