Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo


Archive of Formal Proofs / News: Recent posts

AFP - The Archive of Formal Proofs

Dear friends of formal proofs,

Have you ever wanted to share your proofs with other people? Did you ever need some particular formalized theory but could not find anything suitable on the web?

We are please to announce AFP
The Archive of Formal Proofs


AFP is the central repository for sharing theories written in the theorem prover Isabelle.
AFP is a source of knowledge, examples, and libraries.
AFP is organized like a journal.... read more

Posted by Gerwin Klein 2004-05-01