A Wiki for Mizar: motivation, considerations, and initial prototype

J. Urban, J. Alama, P. Rudnicki, J.H. Geuvers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

20 Citations (Scopus)

Abstract

Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We describe a preliminary system for such collaborative development based on the Git DVCS. We focus, initially, on the Mizar system and its library of formalized mathematics.
Original languageEnglish
Title of host publicationIntelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
EditorsS. Autexier, J. Calmet, D. Delahaye, P.D.F. Ion, L. Rideau, R. Rioboo, A.P. Sexton
Place of PublicationBerlin
PublisherSpringer
Pages455-469
ISBN (Print)978-3-642-14127-0
DOIs
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
Volume6167
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'A Wiki for Mizar: motivation, considerations, and initial prototype'. Together they form a unique fingerprint.

Cite this