Follow
Carst Tankink
Carst Tankink
Software engineer - Bol.com
No verified email - Homepage
Title
Cited by
Cited by
Year
Proviola: A tool for proof re-animation
C Tankink, H Geuvers, J McKinna, F Wiedijk
Intelligent Computer Mathematics: 10th International Conference, AISC 2010 …, 2010
312010
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
262013
Coqoon: An IDE for interactive proof development in Coq
A Faithfull, J Bengtson, E Tassi, C Tankink
International Journal on Software Tools for Technology Transfer 20, 125-137, 2018
222018
Asynchronous processing of Coq documents: from the kernel up to the user interface
B Barras, C Tankink, E Tassi
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing …, 2015
222015
Improving an interactive visualization of transition systems
B Ploeger, C Tankink
Proceedings of the 4th ACM symposium on Software visualization, 115-124, 2008
142008
PIDE for asynchronous interaction with Coq
C Tankink
arXiv preprint arXiv:1410.8221, 2014
82014
Proof in context--Web editing with rich, modeless contextual feedback
C Tankink
arXiv preprint arXiv:1307.1943, 2013
72013
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
42011
Verification of the TLS Handshake protocol
C Tankink, P Vullers
Technical report. Available at https://www. academia. edu/785834/Veri fi …, 2008
32008
Documentation and formal mathematics: web technology meets theorem proving
C Tankink
[Sl]:[Sn], 2013
22013
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
B Westerbaan, B Westerbaan, R Kuyper, C Tankink, R Viehoff, ...
Logical Methods in Computer Science 13, 2017
2017
Asynchronous Editing for Coq
C Tankink
The Coq Workshop 2014, 2014
2014
A Wiki for Formal Mathematics
C Tankink
2011
Narrating Formal Proof
C Tankink
2010
A Tool for Proof Re-animation
C Tankink, J McKinna, F Wiedijk
2010
The system can't perform the operation now. Try again later.
Articles 1–20