| The Coq Proof Assistant Reference Manual : Version 6.1 (1997) | |||||||||||||||
Abstract | |||||||||||||||
| Coq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. Coq V6.1 is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.1 | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||