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?