Login / Signup

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

Bruno BarrasCarst TankinkEnrico Tassi
Published in: ITP (2015)
Keyphrases