Interactive Proof Presentations with Cobra

@inproceedings{pub8590,
    author = {

Ring, Martin
 and 

Lüth, Christoph
},
    editor = {

Autexier, Serge
 and 

Queresma, Pedro
},
    title = {Interactive Proof Presentations with Cobra},
    booktitle = {Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016), located at International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal},
    series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
    year = {2017},
    month = {1},
    volume = {239},
    pages = {43--52},
    publisher = {Open Publishing Association}
}