Isabelle 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: http://www.dcs.ed.ac.uk/~isabelle/ Source Code Availability: Yes 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 ftp://ftp.cl.cam.ac.uk:/ml/index.html for mailing list information User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence