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