Wikis and Collaborative Systems for Large Formal Mathematics

Cezary Kaliszy, Josef Urban
Post proceedings of Semantic Web Collaborative Spaces, LNCS  pp. 35-52, 2016.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-32667-2_3