ProofWeb

Oficial Site - ProofWeb
Oficial Site - ©ProofWeb
RU SURF VU LoLITA - DIMAp/UFRN
LoLITA - DIMAp/UFRN

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
All pdfs provided above are preprints.