Proviola: A tool for proof re-animation C Tankink, H Geuvers, J McKinna, F Wiedijk Intelligent Computer Mathematics: 10th International Conference, AISC 2010 …, 2010 | 30 | 2010 |

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 | 26 | 2013 |

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 | 23 | 2018 |

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 | 19 | 2015 |

Improving an interactive visualization of transition systems B Ploeger, C Tankink Proceedings of the 4th ACM symposium on Software visualization, 115-124, 2008 | 14 | 2008 |

PIDE for asynchronous interaction with Coq C Tankink arXiv preprint arXiv:1410.8221, 2014 | 8 | 2014 |

Proof in context--Web editing with rich, modeless contextual feedback C Tankink arXiv preprint arXiv:1307.1943, 2013 | 7 | 2013 |

Narrating Formal Proof (Work in Progress) C Tankink, H Geuvers, J McKinna UITP, 2010 | 6 | 2010 |

Communicating formal proofs: The case of Flyspeck C Tankink, C Kaliszyk, J Urban, H Geuvers International Conference on Interactive Theorem Proving, 451-456, 2013 | 5 | 2013 |

Point-and-write–documenting formal mathematics by reference C Tankink, C Lange, J Urban International Conference on Intelligent Computer Mathematics, 169-185, 2012 | 5 | 2012 |

Dynamic proof pages C Tankink, J McKinna Aachen: CEUR, 2011 | 4 | 2011 |

Verification of the TLS Handshake protocol C Tankink, P Vullers May, 2008 | 4 | 2008 |

Documentation and formal mathematics: web technology meets theorem proving C Tankink [Sl]:[Sn], 2013 | 2 | 2013 |

A Moviola for proof re-animation C Tankink, H Geuvers, J McKinna, F Wiedijk Submitted to the 9th International Conference on Mathematical Knowledge …, 2010 | 1 | 2010 |

Misplaced trust-RFID tags as malware carriers‖ C Tankink Internet: http://www. win. tue. nl/~ aserebre/2IF03/2008/papers/2/Carst. pdf, 2008 | 1 | 2008 |

Statman's Hierarchy Theorem B Westerbaan, B Westerbaan, R Kuyper, C Tankink, R Viehoff, ... Logical Methods in Computer Science 13, 2017 | | 2017 |

HAL Id: hal-01092008 C Tankink | | 2014 |

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 |