Large formal wikis: Issues and solutions

22Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general wiki system described in [10]. A smart re-verification scheme for the large formal libraries in the wiki is suggested for Mizar/MML and Coq/CoRN, based on recently developed precise tracking of mathematical dependencies. We propose to use features of state-of-the-art filesystems to allow real-time cloning and sandboxing of the entire libraries, allowing also to extend the wiki to a true multi-user collaborative area. A number of related issues are discussed. © 2011 Springer-Verlag.

Cite

CITATION STYLE

APA

Alama, J., Brink, K., Mamane, L., & Urban, J. (2011). Large formal wikis: Issues and solutions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6824 LNAI, pp. 133–148). https://doi.org/10.1007/978-3-642-22673-1_10

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free