@inproceedings{tankink:hal-01092008, TITLE = {{Asynchronous Editing for Coq}}, AUTHOR = {Tankink, Carst}, URL = {https://inria.hal.science/hal-01092008}, BOOKTITLE = {{The Coq Workshop 2014}}, ADDRESS = {Vienna, Austria}, YEAR = {2014}, MONTH = Jul, PDF = {https://inria.hal.science/hal-01092008/file/coq-workshop-2014.pdf}, HAL_ID = {hal-01092008}, HAL_VERSION = {v1}, }