Archive of Formal Proofs 2011-04-01

Company: lp15, lsf37, nipkow

Date Added: August 24, 2013 | Visits: 350

Report Broken Link
Printer Friendly Version

Product Homepage
Download (35 downloads)

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.

Requirements: No special requirements

Platforms: *nix, Linux

Keyword: Checked, Isabelle, Journal, Mechanically, Organized, Prover, Refereed, Scientific, Submissions, Theorem

Users rating: 0/10

License: Freeware

Size: 6.22 MB

USER REVIEWS

More Reviews or Write Review

ARCHIVE OF FORMAL PROOFS RELATED

Utilities - IsaMorph 0.9 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...	498.6 MB
Libraries - Chart::Scientific 0.16 Chart::Scientific is a Perl module that can generate simple 2-D scientific plots with logging, errbars, etc. SYNOPSIS Procedural interface use Chart::Scientific qw/make_plot/; make_plot ( x_data => @x_values, y_data => @yvalues ); The...	16.38 KB
Network & Internet - Just Journal 1.0 Alpha 2 Just Journal is a blogging application. You can use it to create one or more blogs on a Web site. Just Journal allows registered users to comment on other blogs, list friends, consume and provide RSS feeds, and post public, friends only, or...	235.52 KB
Utilities - Scientific Linux 5.0 Live CD/DVD Scientific Linux is a Linux release put together by Fermilab, CERN, and various other labs and universities around the world. Its primary purpose is to reduce duplicated effort of the labs, and to have a common install base for the various...	693 MB
Utilities - Scientific Linux 5.0 Scientific Linux is a Linux release put together by various labs and universities around the world. Scientific Linuxs primary purpose is to reduce duplicated effort of the labs, and to have a common install base for the various experimentors....	608.3 MB
Libraries - GNU Scientific Library 1.9 The GNU Scientific Library (GSL) is a numerical library for C and C++ programmers. It is free software under the GNU General Public License. GNU Scientific Library provides a wide range of mathematical routines such as random number generators,...	2.3 MB
Multimedia & Graphics - Python Advanced Scientific Calculator New Python Advanced Scientific Calculator is a simple and accessible tool that can perform various calculations. Python Advanced Scientific Calculator is an ongoing project, but it does feature more functions then your average calculator.
Business - Scientific Calculator 1.0 Scientific calculator with memory, radians and degree modes, trig functions, exponentials etc.	4.93 MB
Business - SSuite Office - My Daily Digital Journal 2.2 A secure personal journal for everyday inspirational living. Write your daily thoughts, opinions, and life views in your own journal. It also includes a password login dialog box for keeping prying eyes out of your personal business. Insert...	791 KB
Education - RPN Scientific Calculator 1.1 RPN Scientific Calculator is a calculator with many mathematical functions, mathematical and physical constants, units conversions and memory registers. Utilizes stack based postfix style architecture.	450.56 KB

NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
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
Programming - Cedalion for Linux 0.2.6 Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.	471.04 KB
Programming - Math::GMPf 0.29 Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.	30.72 KB
Programming - Net::Wire10 1.08 Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...	30.72 KB
Programming - logilab-common 0.56.2 a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...	174.08 KB
Programming - OpenSSL for linux 1.0.0a The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...	3.83 MB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts