Top Related
Coq d Press
Problems With COQ Measurement
HoTT Coq Code
COQ and productivity
Coq Proof Assistant - UBI
Coq and Nuprl Wojciech Moczydłowski History World, type system Inductive types in Coq Extraction in Coq Other features of Coq.
EVENTS at COQ d’ARGENTcoqdargent.danddlondon.com/.../11/2015/06/Coq-dArgent-Events-Brochure.pdf · Coq d’Argent, No1 Poultry, London EC2R 8EJ | 020 7395 5000 | [email protected]
Coq for beginners