From: utzoo!watmath!cbostrum Newsgroups: net.misc,net.math Title: Help on Theorem Checkers Article-I.D.: watmath.4653 Posted: Mon Feb 28 13:43:46 1983 Received: Tue Mar 1 01:59:03 1983 I am looking for information on user friendly proof checking systems that encourage a nice style for communicating formal proofs. I am familiar with LCF, AFFIRM and AUTOMATH (this latter is what I think is most appropriate). Oh yes, I am also slightly familiar with the Boyer/Moore stuff. Can anyone out there help me?