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 30.072.194 Times

Archive of Formal Proofs 2011-04-01

Company: lp15, lsf37, nipkow
Date Added: August 24, 2013  |  Visits: 190

Archive of Formal Proofs

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 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
ARCHIVE OF FORMAL PROOFS RELATED
Medical  -  European Urology app 1.1
European Urology, the official journal of the EAU, has been a prestigious urological forum for over 35 years, and is currently read by more than 20,000 urologists across the globe. With an recently released 2012 Impact Factor of 10.476, the...
2.1 MB  
Education  -  Radio Science 1.0.2122
About the App Leading journals from the American Geophysical Union are now available on your iPad. Fresh from the newsstand, Radio Science carries original scientific contributions on all aspects of electromagnetic phenomena related to...
3.6 MB  
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  
Science  -  Scientific Journals Information 3.4.0
This software lets you rapidly search for information about a scientific journal: Impact factor [(c) ISI], name, ISO abbreviated name, web site.It calculates also the expected impact factor for each year based on the evolution of impact factor in...
 
Automotive Information Databases  -  MIE Journal Software 2
Journal software systems are designed to solve the typical problems associated with secure documents along with file and document management. MIE Journal Software is a great tool for tracking documents, information and data. It is a highly...
29.64 MB  
Education  -  Equine Veterinary Journal 1.0.2123
Equine Veterinary Journal publishes evidence to improve clinical practice or expand scientific knowledge underpinning equine veterinary medicine. It publishes peer-reviewed articles with original and potentially important findings. Contributions...
8.2 MB  
Productivity  -  Calculator.Scientific 1.0.0.1
Scientific Calculator for general purposes 1. Organized all the engineering functions together 2. With Algebraic and RPN modes 3. Comprehensive memory storage management 4. Comprehensive help and option management 5. Tap and...
1024 KB  
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  
Programming  -  JabRef 2.8
JabRef is an open source bibliography reference manager. The native file format used by JabRef is BibTeX, the standard LaTeX bibliography format. JabRef runs on the Java VM (version 1.5 or newer), and should work equally well on Windows, Linux and...
11.55 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
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  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 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  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB