A wiki for Mizar: Motivation, considerations, and initial prototype
The authors describe how they used wikis, distributed version control systems, and server-based environments to develop an environment for math collaboration, with the proprietary Mizar system.
Theoretical and practical relevance:
Mizar's focus on formal correctness leads to ideas that might be applied more widely in wikis. Correctness is seen widely as including consistency (see section 5.1). For instance linking to subsections of articles is problematic because these subsections can be renamed, breaking internal links, and reducing "link coherence". Since Mizar is formal, "change propogation" might be addressed formally.
This was published in an open access journal.