[Prev][Next][Index][Thread]
ISABELLE USERS EMAIL FORUM
To: logic@theory.lcs.mit.edu, types@theory.lcs.mit.edu,
proof-sci@cs.chalmers.se
Date: Thu, 23 Aug 90 12:05:54 +0100
ISABELLE USERS EMAIL FORUM isabelle-users@cl.cam.ac.uk
A new electronic mailing list is available for users of the theorem prover
Isabelle. The list is open to everybody who is interested in Isabelle.
The mailing list can be used for the following purposes (among others):
* to exchange information about proofs conducted using Isabelle
* to exchange formalizations of logics, tactics, and other pieces of code
(of reasonable size!)
* to give information about how, using FTP, to obtain pieces of code
of unreasonable size
* to report faults and limitations of Isabelle
* to volunteer to correct such faults and limitations
* to discuss wider issues such as foundations, logical frameworks, ...
* by Isabelle's implementors, to ask your opinion of proposed changes and
to announce new releases
The forum will NOT be moderated.
If you would like to be placed on the mailing list, please send a message to
isabelle-users-request@cl.cam.ac.uk
This address should also be used for administrative requests such as
"please remove me from this list". I shall deal with them without
broadcasting them to everyone else.
Larry Paulson
isabelle-users@cl.cam.ac.uk