Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
AIList Digest V7 #7 [lb0q+@andrew.cmu.edu: proof checker]
2 views
Skip to first unread message
AIList Moderator Nick Papadakis
May 24, 1988, 3:33:04 PM5/24/88
to
Date: Tue, 17 May 88 11:17:17
From: Leslie Burkholder <lb...@andrew.cmu.edu>
To: AIL...@ai.ai.mit.edu
Subject: proof checker
From: Leslie Burkholder <lb...@andrew.cmu.edu>
To: AIL...@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.)
0 new messages