The AF2 proof assistant now available

• Subject: The AF2 proof assistant now available
• From: Christophe Raffalli <raffalli@logique.jussieu.fr>
• Date: Sun, 11 May 1997 02:16:36 +0200
• CC: types@cs.indiana.edu
• Delivery-Date: Tue, 13 May 1997 21:31:56 -0500
• Newsgroups: sci.math, sci.logic, comp.theory
• Sender: raffalli@logique.jussieu.fr

I am pleased to announce that the

                    AF2 proof assistant
                    -------------------

for second order logic is available.

Have a look at the web page:

  http://www.logique.jussieu.fr/www.raffalli/af2.html


Christophe Raffalli
Département d'informatique
Université de Paris XII
URL: http://www.logique.jussieu.fr/www.raffalli

• Prev: Final CFP: Third Special Australasian Issue of Theoretical Computer Science
• Next: Thesis on semantics for type theory
• Index(es):
  • Main
  • Thread