Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 17 Aug 1995 17:10:23 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA218073745; Thu, 17 Aug 1995 09:35:45 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA218023741; Thu, 17 Aug 1995 09:35:41 -0600 Received: from payette.cs.uidaho.edu (payette.cs.uidaho.edu [129.101.100.21]) by dworshak.cs.uidaho.edu (8.6.12/1.1) with ESMTP id IAA08075 for ; Thu, 17 Aug 1995 08:37:41 -0700 From: Jim Alves-Foss Received: (jimaf@localhost) by payette.cs.uidaho.edu (8.6.10/1.0) id IAA01635 for info-hol; Thu, 17 Aug 1995 08:34:25 -0700 Message-Id: <199508171534.IAA01635@payette.cs.uidaho.edu> Subject: announcing a WWW database of automated reasoning systems (fwd) To: info-hol@cs.uidaho.edu Date: Thu, 17 Aug 1995 08:34:24 -0700 (PDT) X-Mailer: ELM [version 2.4 PL23] Content-Type: text Content-Length: 1009 Forwarded message: From formal-methods-request Wed Aug 16 17:24 PDT 1995 Sender: formal-methods-request@dworshak.cs.uidaho.edu Errors-To: formal-methods-request@dworshak.cs.uidaho.edu Precedence: list Date: Wed, 16 Aug 1995 17:14:18 -0700 From: Carolyn Talcott Message-Id: <199508170014.RAA17366@SAIL.Stanford.EDU> to: theorem-provers@mc.lcs.mit.edu, fsdm-real@cs.uq.oz.au, formal-methods@cs.uidaho.edu, rewriting-list@lorraine.loria.fr, types@dcs.gla.ac.uk cc: wachter@itd.nrl.navy.mil subject: announcing a WWW database of automated reasoning systems I have finally made a web page for my database of automated reasoning systems and tools (and added many new entries). The url for the page is http://www-formal.stanford.edu/clt/ARS/ars-db.html If you find errors or missing links please let me know. I am still gathering data and making new entries (a never ending process it seems.) Enjoy Carolyn Talcott http://www-formal.stanford.edu/clt/home.html