Scientific>mathematics>Isabelle

Isabelle free download

Isabelle is a popular generic theorem prover deve

FreewareLicense :

1291KBFile Size :

yesGUI :

yesTerminal :

http://isabelle.in.tum.de/Homepage :

The Isabelle TeamCreator :

The Isabelle TeamCompany :

Isabelle Publisher's description

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.

dlTube.net did not scan Isabelle for viruses, adware, spyware or other badware.

For your own safety, we recommend that you always have an antivirus, with virus definitions up to date, installed on your computer when downloading and installing programs from the web.

Download Isabelle

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