TY  - RPRT
TI  - Asynchronous processing of Coq documents: from the kernel up to the user interface
AU  - Bruno Barras
AU  - Carst Tankink
AU  - Enrico Tassi
PY  - 2015
UR  - https://arxiv.org/abs/1506.05605
ID  - 1506.05605
ER  -