Carst Tankink

18 papers A 1B 2Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2018 J jnl
Coqoon - An IDE for interactive proof development in Coq.
Int. J. Softw. Tools Technol. Transf.
Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
2017 J jnl
Statman's Hierarchy Theorem.
CoRR
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
2017 J jnl
Statman's Hierarchy Theorem.
Log. Methods Comput. Sci.
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
2016 A conf
Coqoon - An IDE for Interactive Proof Development in Coq.
TACAS
Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
2015 B conf
Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface.
ITP
Bruno Barras, Carst Tankink, Enrico Tassi
2015 J jnl
Asynchronous processing of Coq documents: from the kernel up to the user interface.
CoRR
Bruno Barras, Carst Tankink, Enrico Tassi
2014 — conf
PIDE for Asynchronous Interaction with Coq.
UITP
Carst Tankink
2013 B conf
Communicating Formal Proofs: The Case of Flyspeck.
ITP
Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
2013 J jnl
Formal Mathematics on Display: A Wiki for Flyspeck
CoRR
Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
2013 — conf
Formal Mathematics on Display: A Wiki for Flyspeck.
MKM/Calculemus/DML
Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
2012 — conf
Point-and-Write - Documenting Formal Mathematics by Reference.
AISC/MKM/Calculemus
Carst Tankink, Christoph Lange, Josef Urban
2012 J jnl
Point-and-write --- Documenting Formal Mathematics by Reference
CoRR
Carst Tankink, Christoph Lange, Josef Urban
2012 — conf
Proof in Context - Web Editing with Rich, Modeless Contextual Feedback.
UITP
Carst Tankink
2011 — conf
Dynamic Proof Pages.
MathWikis@ITP
Carst Tankink, James McKinna
2010 — conf
Narrating Formal Proof (Work in Progress).
UITP
Carst Tankink, Herman Geuvers, James McKinna
2010 J jnl
Proviola: A Tool for Proof Re-animation
CoRR
Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
2010 — conf
Proviola: A Tool for Proof Re-animation.
AISC/MKM/Calculemus
Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
2008 — conf
Improving an interactive visualization of transition systems.
SOFTVIS
Bas Ploeger, Carst Tankink