Isabelle

	DISCUSSION Edit Software
Vote this record may only once time logged user.
Software > SCIENTIFIC/ mathematics

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).

Adding date:

20.8.2004 16:26

GUI:

yes

Terminal:

yes

Licence:

Freeware

Home Page:

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

Creator:

The Isabelle Team

Developer company:

The Isabelle Team

Alternativ SW in Windows:

SW instalation requirement:

HW instalation requirement:

Rate: not rated yet

Download

Package Type	Download	Size in kB
source	http://isabelle.in.tum.de/[..]-linux.tar.gz	1291
source	http://isabelle.in.tum.de/[..]-linux.tar.gz	7612
source	http://isabelle.in.tum.de/[..]le2004.tar.gz	5518
source	http://isabelle.in.tum.de/[..]l_base.tar.gz	2
source	http://isabelle.in.tum.de/[..]eneral.tar.gz	1758

Added by:

John Smith

DISCUSSION

For this item is no comments.

Add comment is possible for logged registered users.

Search Software

Search Google

Latest aktual Distributions

1.	Pacman linux Download: 5084x
2.	FreeBSD Download: 9297x
3.	PCLinuxOS-2010 Download: 8786x
4.	alcolix Download: 11175x
5.	Onebase Linux Download: 9895x
6.	Novell Linux Desktop Download: 0x
7.	KateOS Download: 6448x

Latest aktual Software

1.	xinetd Download: 2608x
2.	RDGS Download: 937x
3.	spkg Download: 5216x
4.	LinPacker Download: 10357x
5.	VFU File Manager Download: 3378x
6.	LeftHand Mała Księgowość Download: 7461x
7.	MISU pyFotoResize Download: 3070x
8.	Lefthand CRM Download: 3742x
9.	MetadataExtractor Download: 0x
10.	RCP100 Download: 3355x
11.	Predaj softveru Download: 0x
12.	MSH Free Autoresponder Download: 0x

linuxsoft.cz | Design: www.megadesign.cz