@Inproceedings{EPTCS118.3, author = {Tankink, Carst}, year = {2013}, title = {Proof in Context --- Web Editing with Rich, Modeless Contextual Feedback}, editor = {Kaliszyk, Cezary and L\"uth, Christoph}, booktitle = {{\rm Proceedings 10th International Workshop On} User Interfaces for Theorem Provers, {\rm Bremen, Germany, July 11th 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {118}, publisher = {Open Publishing Association}, pages = {42-56}, doi = {10.4204/EPTCS.118.3}, }