Archive of Formal Proofs 2011
You'll be able to download in 5 seconds.
You can also click on the following External Download Link to start download:
http://sourceforge.net/projects/afp/files/afp-Isabelle2011/afp-2011-04-01.tar.gz/download
ABOUT Archive of Formal Proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Related Programs
-
ADAM Abstract Data Access Models Free
2 Java frameworks with transient and persistent object models based on nonstandard approach (less evident but faster development): an object is a set of named fields. 3 non-object libraries simplifying access to tables stored
-
Jedora Remix VM Free
A Virtual Machine Linux appliance (for Virtualbox). This Fedora Remix puts emphasis on Java based applications. Includes OpenOffice.org, OpenJDK, browser plug-ins (IcedTea), and popular Java based applications like Azureus/Vu
-
DataAide Free
DataAide is a VB.Net desktop application that utilises SQL Server 2000 client tools to generate VB.Net, C#, or VB6 classes and stored procedures for tables in a SQL Server 2k database. It also generates ADO.Net or ADO code to
-
BlackFox OM (30' Series) Free
BlackFox OM (BlackFox, The Object Model) is a library for holding and manipulating object models of any systems, applications and libraries. You can use it as a part of UML tools, part of code generators, part of object-orien
-
InfraHID Free
The purpose of the project is to allow a normal webcam to be used as a Human Interface Device (HID). Examples of how to use this software would be used are : mouse, control video games, electronic white board, or a replacemen
-
Prop compiler compiler Free
Prop is a pattern matching language based on C++. It implements algebraic datatypes, pattern matching and rewriting, and generates C++ code as output.
-
ga-flamoot Free
A genetic algorithm in Python for evolving programs that write a given string to an allocated dataspace, using a made-up machine language with only 7 instructions and flow reversal.
-
Fennel Free
Fennel is a library of data storage and processing components written in C++. It is developed as a sub-project of The Eigenbase Project, and also serves as a substrate for the Farrago project.
-
NExcel Free
The NExcel library allows a .NET application to read Ms Excel files, compatible with Excel 97 and upper. No need to install Ms Office Excel or any third-party libraries. Based on JExcelAPI by Andrew Khan.
-
OpenTag Free
OpenTag is a full-featured communications stack for DASH7 Mode 2 (ISO 18000-7.4). It is intended to run on embedded HW, especially RF SoCs, but it can be ported to almost anything. OpenTag's main feat is its large featureset,