Collaborative Interactive Theorem Proving with Clide

@inproceedings{pub7385,
    author = {

Ring, Martin
 and 

Lüth, Christoph
},
    editor = {

Klein, G.
 and 

Gamboa, R.
},
    title = {Collaborative Interactive Theorem Proving with Clide},
    booktitle = {Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at Vienna Summer of Logic, July 14-17, Wien, Austria},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2014},
    month = {7},
    volume = {8558},
    pages = {467--482},
    publisher = {Springer Verlag}
}