[X] The "scribus-1.3.3.3-win32-install.exe" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

Share

More
Archive of Formal Proofs Icon

Archive of Formal Proofs

by lp15, lsf37, nipkow

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.

Download Now! afp-2008-10-21.tar.gz (3.2 MB) OR View all files

http://afp.sourceforge.net





Separate each tag with a space.

Release Date:

2008-10-21

Topic:

Education, Mathematics

Operating System:

All POSIX (Linux/BSD/UNIX-like OSes),
OS X, Cygwin (MS Windows), Linux, Solaris

License:

BSD License, GNU Library or Lesser General Public License (LGPL)

Translations:

English

Intended Audience:

Science/Research

User Interface:

X Window System (X11)

Programming Language:

Standard ML

Registered:

2004-02-12

Ratings and Reviews

Be the first to post a text review of Archive of Formal Proofs. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Rate and Review

Be the first person to add a text review.

Would you recommend this project?





<

Related Projects

Archive of Formal Proofs Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks