Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface.

Bruno Barras, Carst Tankink, Enrico Tassi

Browse the full ITP paper archive.