17 citations · 39 across the 7 of their papers we have counts for
Showing cs.HCShow all
2 papers · 1 filter
cs.HC2014★ 5 cited
PIDE for Asynchronous Interaction with Coq
Carst Tankink
This paper describes the initial progress towards integrating the Coq proof assistant with the PIDE architecture initially developed for Isabelle. The architecture is aimed at asyn…
cs.HC2013★ 6 cited
Proof in Context -- Web Editing with Rich, Modeless Contextual Feedback
Carst Tankink
The Agora system is a prototypical Wiki for formal mathematics: a web-based system for collaborating on formal mathematics, intended to support informal documentation of formal dev…