ProofWeb Publicatoins
- FormEd'08
- Teaching logic using a state-of-the-art proof assistant, accepted for ENTCS (pdf, bib)
- MKM'07
- Cooperative repositories for formal proofs, LNCS (pdf, bib)
- UITP'06
- Web Interfaces for Proof Assistants, ENTCS (pdf, bib)
- Technical Report
- Deduction using the ProofWeb system, ICIS Technical Report