Carst Tankink
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2010–2016
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TACAS | Coqoon - An IDE for Interactive Proof Development in Coq. | Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink |
| 2015 | ITP | Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface. | Bruno Barras, Carst Tankink, Enrico Tassi |
| 2013 | ITP | Communicating Formal Proofs: The Case of Flyspeck. | Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers |
| 2012 | AISC | Point-and-Write - Documenting Formal Mathematics by Reference. | Carst Tankink, Christoph Lange, Josef Urban |
| 2011 | ITP | Dynamic Proof Pages. | Carst Tankink, James McKinna |
| 2010 | AISC | Proviola: A Tool for Proof Re-animation. | Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk |