W3C home > Mailing lists > Public > sw99@w3.org > January to March 2000

QED: discussion of proof languages

From: Dan Connolly <connolly@w3.org>
Date: Thu, 13 Jan 2000 16:45:27 -0600
Message-ID: <387E5587.B5508C30@w3.org>
To: sw99@w3.org
more use of sw99 for bookmarking stuff...

Toward a common syntax for writing proofs
Sat, 16 Mar 1996 23:44:58 -0500 (EST) 
http://www-unix.mcs.anl.gov/qed/mail-archive/volume-3/0125.html

practical Proof Checking
Tue, 19 Mar 1996 15:49:51 +0100 
http://www-unix.mcs.anl.gov/qed/mail-archive/volume-3/0132.html

<-
http://www-unix.mcs.anl.gov/qed/index.html
<-
http://www.cs.utexas.edu/users/boyer/
<-
http://www.w3.org/People/Connolly/8608austin/

also:

A Survey of QED and Related Topics
Daniel W. Connolly
updated $Date: 1998/05/21 20:30:59 $, created 10 Oct 1994 
http://www.w3.org/Math/QED

-- 
Dan Connolly
tel:+1-512-310-2971
http://www.w3.org/People/Connolly/
Received on Thursday, 13 January 2000 17:49:29 GMT

This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 19 August 2005 11:10:28 GMT