Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.547.962 Times

IsaMorph 0.9

  Date Added: January 18, 2010  |  Visits: 719

IsaMorph

Report Broken Link
Printer Friendly Version


Product Homepage
Download (93 downloads)



IsaMorph is a linux distribution Live CD (based on Morphix) featuring the interactive theorem prover Isabelle. This means, you can boot from the CD and get a fully operational "theorem proving" environment without installing GNU/Linux or Isabelle. Just insert the CD in your PC and have five minutes later your first theorem proven. All programs distributed within IsaMorph are free software. This means that the operating system and the applications contained in this CD can be freely copied, modified and distributed. So please feel free to give copies to your friends or colleagues. Insert the CD into the CD drive on an Intel compatible PC or laptop. Now reboot the computer. Ensure that the first boot device is CD. For this, you may have to change the BIOS settings of your computer. If you are not familiar with it, get help from your system administrator or someone who knows how to do it. As the computer starts booting, it will search for a CD in the drive. A menu will appear after some time. Just press the Enter key or wait for some time. The computer will continue to boot from the CD and, hopefully, give you a graphical screen similar to what you are familiar with. You can click on the menu at the top left and start applications. IsaMorph contains a fully working Isabelle environment supporting proving and document generation, this includes: Isabelle (version 2005) The interactive theorem prover Isabelle 2005 with at least the following logics compiled in: HOL, HOL-Complex, ZF, FOL, and Pure. Thus, after booting IsaMorph you can immediately prove theorems in any of these logics. The CD includes a offline version of Isabelles tutorials and theory documentation. HOL-TestGen (version 1.1.1) A test case generator for specification based unit testing. It is built on top of the specfication and theorem proving environment Isabelle/HOL. Proof General (version 3.6pre) A powerful User Interface for Isabelle. SML of New Jersey (version 110.56) The Standard ML Environment used for compiling and executing Isabelle. GNU Emacs (version 22.0.50) The GNU Emacs editor which builds together with Proof General the main user interface of Isabelle. teTeX (version 2.0.2) A complete LaTeX environment used for the generation of proof documents. Other Applications In addition, the CD also contains a variety of applications for a common use. It includes a user-friendly desktop (Gnome) an Internet browser (Mozilla), and so on. Just take a look at the menu to find out many more. I tried to minimize the number of non Isabelle specific software to minimize the download size. Whats New in This Release: - This is release updates all software on the CD, including all base utilities and all Isabelle related software. - Particularly, this is the first release featuring the latest Isabelle version (2005), X-Symbol (3.6pre), and also HOL-TestGen (1.1.1)..

Requirements: No special requirements
Platforms: Linux
Keyword: Based On Environment Featuring Gnu Hol Interactive Isabelle Isamorph Linux Distributions Linux Live Cd Live Cd Prover Theorem Theorem Prover
Users rating: 0/10

License: Freeware Size: 498.6 MB
USER REVIEWS
More Reviews or Write Review


ISAMORPH RELATED
Utilities  -  FCCU GNU/Linux Forensic Boot CD 11.0
FCCU GNU/Linux Forensic Bootable CD is a bootable CD based on KNOPPIX that contains a lot of tools suitable for computer forensic investigatins, including bash scripts. FCCU GNU/Linux Forensic Boot CDs main purpose is to create images of devices...
609.2 MB  
Utilities  -  Source Mage GNU/Linux 0.9.6.3
Source Mage GNU/Linux distribution is based on a sorcerous metaphor of "casting" and "dispelling" packages, which we refer to as "spells". This is a development ISO and potentially loaded with bugs and glitches. This is where you come in. We...
247 MB  
Utilities  -  Source Mage GNU/Linux 0.9.6 PPC
Source Mage GNU/Linux distribution is based on a sorcerous metaphor of "casting" and "dispelling" packages, which we refer to as "spells". This is a development ISO and potentially loaded with bugs and glitches. This is where you come in. We...
207.9 MB  
Utilities  -  Auditor Security Linux 200605
The Auditor security collection is a Live-System based on KNOPPIX. With no installation whatsoever, the analysis platform is started directly from the CD-Rom and is fully accessible within minutes. Independent of the hardware in use, the Auditor...
645 MB  
Science  -  GNU Exterior Ballistics Computer 32
A graphical interface for solving exterior ballistics problems, based on the excellent GNU exterior ballistics library. This software generates valid 3-DOF solutions to small arms trajectories, including wind and atmospheric corrections.
519.71 KB  
Utilities  -  bdist_nsi 0.1.3
The bdist_nsi module extends Python's distutils module with a bdist_nsi setup command to create binary Windows installers for Python modules, based on NSIS, featuring a modern user interface, internationalization, and maya and blender support.
54.71 KB  
Education  -  FreeStyle Calc 1.0.0.0
Free style calculator Totally based on "BODMAS" Rule. its very interactive and easy to handle.Couple of usable function include in it like Sine, cos ,log..etc you can also solve the 2degree equation.you.can put whole equation with bracket it will...
1024 KB  
Utilities  -  Draco GNU/Linux 0.1
Draco GNU/Linux is a Linux distribution based on Slackware 11.0 and featuring packages from pkgsrc 2007Q1.. Draco is a small and flexible GNU/Linux distribution, expandable through the pkgsrc framework.
170.7 MB  
3D Graphic Tools  -  GNU 3DKit
GNU 3DKit is a platform independent rendering architecture based on OpenGL, written in ObjC. GNU 3DKit is part of the GNUstep environment, which provides an object-oriented application development framework and tool set..
 
3D Graphic Tools  -  GNU Ocrad 0.17
GNU Ocrad is an OCR (Optical Character Recognition) program implemented as a filter and based on a feature extraction method. Also includes a layout analyser able to separate the columns or blocks of text normally found on printed pages. Ocrad...
75.78 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Utilities  -  LPAR2RRD 4.95-4
LPAR2RRD collects performance data and generates actual, historical and future trends utilization graphs of your virtual environment. It is agentless (it receives everything from the management stations like vCenter or HMC). The product supports...
2.25 MB  
Utilities  -  Nessconnect 1.0.2
Nessconnect is a GUI, CLI and API client for Nessus and Nessus compatible servers. With an improved user interface, it provides local session management, scan templates, report generation through XSLT, charts and graphs, and vulnerability trending.
819.2 KB  
Utilities  -  Dynamic Power Management 2.6.16
The Dynamic Power Management (DPM) project explores technologies to improve power conservation capabilities of platforms based on open source software. Of particular interest are techniques applicable to running systems, adjusting power parameters...
30.72 KB  
Utilities  -  Ethernet bridge tables 2.4.37.9
Ethernet bridge tables - Linux Ethernet filter for the Linux bridge. The 2.4-ebtables-brnf package contains the ebtables+bridge-nf patch. Be sure to check out the ebtables hp. This site also contains the arptables userspace tool.
40.96 KB  
Utilities  -  SaraB 1.0.0
SaraB works with DAR (Disk ARchive) to schedule and rotate backups on random-access media (i.e. hard drives, CDs, DVDs, Zip, etc. Basically anything except magnetic tapes.) This reduces hassle for the administrator by providing an automatic backup...
20.48 KB