Publications:
 MKM'07
 (with P. Corbineau) Cooperative repositories for formal proofs  A Wiki based solution, LNCS
(pdf,
bib)
 SemWiki'08
 (coauthored) A real Semantic Web for mathematics deserves a real semantics, Coeurws
(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:
Workshop
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
 INRIA
 Uniwersytet w Białymstoku
 Jacobs University Bremen
