Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 50.444.167 Times

USER REVIEWS

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.

WRITE USER REVIEW
Your name *
Email *
Ease of use *
(1 = Bad, 10 = Superb)
Functionality *
(1 = Bad, 10 = Superb)
Value for money *
(1 = Bad, 10 = Superb)
Overall score *
(1 = Bad, 10 = Superb)
Comments *
Please don't post questions, this is NO support or discussion list.
Guides
If you know any guides for this tool post the links here (optional)
Verification Code *




Captcha verification code

 
Home  | About Us  | Privacy  | Disclaimer  | Link to Us  | Contact Us  | Top Searches  | Submit Software  | Submit Site  | Percentage Calculator  | Text Compare
File Transit © 1998-2024