We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable version of their work. We describe a prototype based on Coq, its web interface as implemented by the second author, and a modified version of the MediaWiki code-base. We discuss open issues such as dependencies and repository consistency. We explain limitations of the current prototype and we give a perspective towards a more robust solution. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Corbineau, P., & Kaliszyk, C. (2007). Cooperative repositories for formal proofs a wiki-based solution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4573 LNAI, pp. 221–234). Springer Verlag. https://doi.org/10.1007/978-3-540-73086-6_19
Mendeley helps you to discover research relevant for your work.