LINUXSOFT.cz
Username: Password:     
    CZ UK PL

> 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
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
1. Pacman linux
Download: 2627x
2. FreeBSD
Download: 6700x
3. PCLinuxOS-2010
Download: 6122x
4. alcolix
Download: 8371x
5. Onebase Linux
Download: 7154x
6. Novell Linux Desktop
Download: 0x
7. KateOS
Download: 3829x

1. VFU File Manager
Download: 1423x
2. LeftHand Mała Księgowość
Download: 4995x
3. MISU pyFotoResize
Download: 736x
4. Lefthand CRM
Download: 1669x
5. MetadataExtractor
Download: 0x
6. RCP100
Download: 1149x
7. Predaj softveru
Download: 0x
8. MSH Free Autoresponder
Download: 0x
9. Guitar Scale Expert
Download: 1217x
10. Jinja24Doc
Download: 0x
11. Čistič
Download: 1295x
12. BASH History Suggest Box
Download: 5459x
©Pavel Kysilka - 2003-2017 | mailatlinuxsoft.cz | Design: www.megadesign.cz