@inproceedings{barras:hal-01135919, TITLE = {{Asynchronous processing of Coq documents: from the kernel up to the user interface}}, AUTHOR = {Barras, Bruno and Tankink, Carst and Tassi, Enrico}, URL = {https://inria.hal.science/hal-01135919}, BOOKTITLE = {{Proceedings of ITP}}, ADDRESS = {Nanjing, China}, YEAR = {2015}, MONTH = Aug, PDF = {https://inria.hal.science/hal-01135919/file/full.pdf}, HAL_ID = {hal-01135919}, HAL_VERSION = {v1}, }