The Coq proof assistant user's guide Version 5.8

Authors
Publication date
1 January 1993
Publisher

Abstract

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1993 n.154 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

    Similar works

    Full text

    thumbnail-image

    Available Versions

    OpenGrey Repository

    redirect
    Last time updated on 14/06/2016