Wiki for formalized mathematics based on ProofWeb

It works, but since it is very buggy we do not link it from here. If you would like to try it, please contact us.



(with P. Corbineau) Cooperative repositories for formal proofs - A Wiki based solution, LNCS (pdf, bib)
(coauthored) A real Semantic Web for mathematics deserves a real semantics, Coeur-ws (pdf, bib)
All pdfs provided above are preprints.

Presentations about MathWiki:

Final product:

We imagine the final product to:
  • Fully support scripts in multiple proof assistants
  • Include semantic annotations
  • Combine with HELM / WHELP
  • Provide syntax highliting also during edition
  • Use Unicode in proofs and not only in comments
  • Allow more browser sessions editing the same file
We imagine it to look like:


In 2007, there was a Types MathWiki workshop which gathered people willing to work on a wiki for formalized mathematics. The people who expressed interest in collaborating about creating a common Wiki for formalized mathematics, with whom we plan to work:
  • Radboud Universiteit Nijmegen
  • Università di Bologna
  • University of Edinburgh
  • Technische Universität München
  • Uniwersytet w Białymstoku
  • Jacobs University Bremen