- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 13 Jan 2000 16:45:27 -0600
- 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 UTC