Dowek, G.; Felty, A.; Herbelin, H.; Huet, G.; Paulin-Mohring, C. and B. Werner. "The COQ Proof Assistant User's Guide" Version 5.6. Rapports Techniques 134, INRIA, 1991

Languages mentioned

• coq {1991}