| 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 | |||||||||||||||||
| |||||||||||||||||