SAL Home OTHERS Artificial Intelligence


Isabelle is a generic theorem prover, developed at the University of Cambridge. New logics are introduced by specifying their syntax and rules of inference; proof procedures can be expressed using tactics and tacticals.

Current Version:   98-1

License Type:   ??

Home Site:

Source Code Availability:


Available Binary Packages:

  • Debian Package: No
  • RedHat RPM Package: No
  • Other Packages: No

Targeted Platforms:

Known to work on UNIX (including SUN and Linux) with SML/NJ 110.x

Software/Hardware Requirements:

SML/NJ and Perl

Other Links:
Proof General

Mailing Lists/USENET News Groups:

See for mailing list information

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.