Submit Software
  1. Home
  2. Linux
  3. Other
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version afp-Isabelle2011 posted on 2011-04-03
    Several fixes and updates
  • Version afp-Isabelle2011 posted on 2011-04-03

Program Details

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,