The Coq Proof Assistant Reference Manual : Version 6.1

Authors
Publication date
1 May 1997
Publisher
HAL CCSD

Abstract

Projet COQCoq 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.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    INRIA a CCSD electronic archive server

    redirect
    oaioai:HAL:inria-00069968v1
    Last time updated on 10/11/2016