Home |  Software downloads |  Submit |  Drivers |  Codecs |  Linux |  Scripts | 
Software, Games downloads and reviews
Contact Us | 
Scientific>mathematics>Isabelle

Isabelle free download

Isabelle SNAPSHOT

FreewareLicense :
1291KBFile Size :
yesGUI :
yesTerminal :
http://isabelle.in.tum.de/Homepage :
The Isabelle TeamCreator :
The Isabelle TeamCompany :
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).

Alternative Windows software: None
Software requirements: None
Hardware requirements: None

Isabelle is the property of respective authors, vendors and developers. You can download Isabelle for your hardware. If you want to use Isabelle for other purpose, Please contact the authors, vendors and developers of Isabelle.

Download

RELATED DOWNLOADS

  • KAlgebra
    KAlgebra is a MathML-based graphic calculator, thought to bring to the user its power by solving expressions written in MathML or calculating converted common equations to MathML.
  • Chemistry Development Kit
    The Chemistry Development Kit (CDK) classes are Java utitility classes for chemoinformatics and computational chemistry. They are a complete re-write of the CompChem classes that were the basis of JC
  • Mauve
    Mauve is a system for efficiently constructing multiple genome alignments in the presence of large-scale evolutionary events such as rearrangement and inversion. Multiple genome alignment provides a
  • Staden Package
    A fully developed set of DNA sequence assembly (Gap4), editing and analysis tools (Spin) for Unix, Linux, MacOSX and MS Windows.
  • lpy
    A printing tool with a GUI interface that was designed to support multi-function printer features such as duplex, n-up, staplers, and booklets.

Kernel : Window Managers : Internet : Networking : Office : Audio & Video : Image : Games : Toys : Education : Security : Printing : Scientific : Development : Databases : Emulators : Libraries : Utilities : Mobile : Other