ProofWeb

RU SURF VU

ProofWeb Publications

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 (pdf, bib)
All pdfs provided above are preprints.