@dblp

Proof in Context - Web Editing with Rich, Modeless Contextual Feedback.

. UITP, volume 118 of EPTCS, page 42-56. (2012)

Links and resources

Tags