Path: utzoo!utgpu!water!watmath!clyde!bellcore!tness7!killer!mit-eddie!bloom-beacon!AI.AI.MIT.EDU!AIList-REQUEST From: AIList-REQUEST@AI.AI.MIT.EDU (AIList Moderator Nick Papadakis) Newsgroups: comp.ai.digest Subject: AIList Digest V7 #7 [lb0q+@andrew.cmu.edu: proof checker] Message-ID: <8805241932.AA19821@BLOOM-BEACON.MIT.EDU> Date: 24 May 88 19:33:04 GMT Sender: daemon@bloom-beacon.MIT.EDU Reply-To: AIList@AI.AI.MIT.EDU Organization: The Internet Lines: 22 Approved: ailist@ai.ai.mit.edu Date: Tue, 17 May 88 11:17:17 From: Leslie Burkholder To: AILIST@ai.ai.mit.edu Subject: proof checker Two queries concerning proof checkers have appeared. How about either (1) The Boyer-Moore theorem prover. Contact Computational Logic Inc 1717 West Sixth St Suite 290 Austin Texas 78703 (2) Mizar. Contact Andrzej Trybulec / Howard Blair EECS University of Connecticut Storrs CT 06268 Leslie Burkholder (If anyone suggests anything else please let me know.)