The Coq Proof Assistant, A Tutorial, Version 5.10

Authors
Publication date
1 July 1995
Publisher
HAL CCSD

Abstract

Projet CO

    Similar works

    Full text

    thumbnail-image

    Available Versions

    INRIA a CCSD electronic archive server

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