Presentations and papers about open proofs

Here are presentations and papers about open proofs:


 * Open Proofs: Maturing Formal Methods (FM) with Open Source Software (OSS) Approaches (2009-07-31)
 * Open Proofs presentation as PDF
 * Open Proofs presentation as PPTX