Carst Tankink

According to our database, Carst Tankink authored at least 12 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Coqoon - An IDE for interactive proof development in Coq.

Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink

Int. J. Softw. Tools Technol. Transf., 2018

2017

Statman's Hierarchy Theorem.

Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt

Log. Methods Comput. Sci., 2017

2015

Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface.

Bruno Barras, Carst Tankink, Enrico Tassi

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014

PIDE for Asynchronous Interaction with Coq.

Carst Tankink

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

2013

Formal Mathematics on Display: A Wiki for Flyspeck.

Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers

Proceedings of the Intelligent Computer Mathematics, 2013

Communicating Formal Proofs: The Case of Flyspeck.

Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

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

Carst Tankink

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

Point-and-Write - Documenting Formal Mathematics by Reference.

Carst Tankink, Christoph Lange, Josef Urban

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Dynamic Proof Pages.

Carst Tankink, James McKinna

Proceedings of the ITP 2011 Workshop on Mathematical Wikis, 2011

2010

Narrating Formal Proof (Work in Progress).

Carst Tankink, Herman Geuvers, James McKinna

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Proviola: A Tool for Proof Re-animation.

Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2008

Improving an interactive visualization of transition systems.

Bas Ploeger, Carst Tankink

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008