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