Carst Tankink
Carst Tankink
Software engineer - Bol.com
No verified email - Homepage
Title
Cited by
Cited by
Year
The mCRL2 toolset
JF Groote, J Keiren, A Mathijssen, B Ploeger, F Stappers, C Tankink, ...
Proceedings of the International Workshop on Advanced Software Development …, 2008
542008
Proviola: A tool for proof re-animation
C Tankink, H Geuvers, J McKinna, F Wiedijk
International Conference on Intelligent Computer Mathematics, 440-454, 2010
302010
Formal mathematics on display: A wiki for Flyspeck
C Tankink, C Kaliszyk, J Urban, H Geuvers
International Conference on Intelligent Computer Mathematics, 152-167, 2013
242013
Coqoon
A Faithfull, J Bengtson, E Tassi, C Tankink
International Conference on Tools and Algorithms for the Construction and …, 2016
192016
Asynchronous processing of Coq documents: from the kernel up to the user interface
B Barras, C Tankink, E Tassi
International Conference on Interactive Theorem Proving, 51-66, 2015
192015
Improving an interactive visualization of transition systems
B Ploeger, C Tankink
Proceedings of the 4th ACM symposium on Software visualization, 115-124, 2008
122008
PIDE for asynchronous interaction with Coq
C Tankink
arXiv preprint arXiv:1410.8221, 2014
92014
Proof in context--Web editing with rich, modeless contextual feedback
C Tankink
arXiv preprint arXiv:1307.1943, 2013
82013
Narrating Formal Proof (Work in Progress)
C Tankink, H Geuvers, J McKinna
UITP, 2010
62010
Communicating formal proofs: The case of Flyspeck
C Tankink, C Kaliszyk, J Urban, H Geuvers
International Conference on Interactive Theorem Proving, 451-456, 2013
52013
Point-and-write–documenting formal mathematics by reference
C Tankink, C Lange, J Urban
International Conference on Intelligent Computer Mathematics, 169-185, 2012
52012
Dynamic proof pages
C Tankink, J McKinna
Aachen: CEUR, 2011
32011
Documentation and formal mathematics: web technology meets theorem proving
C Tankink
[Sl: sn], 2013
22013
Verification of the TLS Handshake protocol
C Tankink, P Vullers
May, 2008
22008
A Moviola for proof re-animation
C Tankink, H Geuvers, J McKinna, F Wiedijk
Submitted to the 9th International Conference on Mathematical Knowledge …, 2010
12010
Misplaced trust-RFID tags as malware carriers‖
C Tankink
Internet: http://www. win. tue. nl/~ aserebre/2IF03/2008/papers/2/Carst. pdf, 2008
12008
Statman's Hierarchy Theorem
H Barendregt, R Viehoff, C Tankink, R Kuyper, B Westerbaan, ...
Logical Methods in Computer Science 13, 2017
2017
Statman's Hierarchy Theorem
B Westerbaan, B Westerbaan, R Kuyper, C Tankink, R Viehoff, ...
arXiv preprint arXiv:1711.05497, 2017
2017
Asynchronous Editing for Coq
C Tankink
The Coq Workshop 2014, 2014
2014
A Wiki for Formal Mathematics
C Tankink
2011
The system can't perform the operation now. Try again later.
Articles 1–20