The "/abrViewer.NET2_2.0/..elease_NET20_2.0.rar" file could not be found or is not available. Please select another file.
Archive of Formal Proofs Icon

Archive of Formal Proofs

6 Recommendations
1 Download (This Week)
Download afp-2011-11-27.tar.gz
Browse All Files

Screenshots

The AFP is based on the Isabelle Theorem Prover

Description

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.

Archive of Formal Proofs Web Site

User Ratings

100% recommended
 
 
6
0
Write a Review

User Reviews

Sort By
Most Helpful
Filter
All
  • Posted by Nomi — 2010-04-09

    very useful idea

Read more reviews

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.