Filewatcher File Search File Search
Catalog
Content Search
» » » » »

coq

proof assistant for higher-order logic (toplevel and compiler)

Variants:
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides coqtop, a command line interface to Coq.

A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.

Homepage:
Package version:8.3.pl4+dfsg-2
Architecture:s390x
Distribution:Debian
Filename:coq_8.3.pl4+dfsg-2_s390x.deb

/usr/share/doc/coq/README

               	         THE COQ V8 SYSTEM
            	         =================

INSTALLATION.
=============

   See the file INSTALL for installation procedure.


DOCUMENTATION.
==============

   The documentation is part of the archive in directory doc. The
   documentation of the last released version is available on the Coq
   web site at http://coq.inria.fr/doc.


CHANGES.
========

   T
more»

/usr/share/doc/coq/README.Debian

--------------------------
+ Coq package for Debian +
--------------------------

Binary (in)compatibility
------------------------
The compiled libraries of Coq (the *.vo) are not expected to be backward or
forward compatible between releases (including plX releases). In case of a new
upstream release, your Coq files should be recompiled.


Coq frontends
-------------
For interactive use of coqto
more»

/usr/share/doc/coq/NEWS.Debian.gz

coq (8.2~rc2+dfsg-1) experimental; urgency=low

    The Coq library for programming in OCaml is now in its own binary
    package, libcoq-ocaml-dev, along with coqmktop. The theories have been
    moved from coq-libs to the more expressive name coq-theories.

 -- St├ęphane Glondu <glondu@debian.org>  Mon, 02 Feb 2009 09:48:03 +0100


/usr/share/man/man1/coq-tex.1.gz

COQ-TEX(1)                                                COQ-TEX(1)



NAME
       coq-tex - Proces
more»

/usr/share/man/man1/coq_makefile.1.gz

COQ(1)                                                        COQ(1)



NAME
       coq_makefile - T
more»

/usr/share/man/man1/coqc.1.gz

COQ(1)                                                        COQ(1)



NAME
       coqc - The Coq P
more»

/usr/share/man/man1/coqchk.1.gz

COQ(1)                                                        COQ(1)



NAME
       coqchk - The Coq
more»

/usr/share/man/man1/coqdep.1.gz

COQ(1)                                                        COQ(1)



NAME
       coqdep  -  Compu
more»

Browse inside coq_8.3.pl4+dfsg-2_s390x.deb

         [DIR]DEBIAN/ (6)  65535+ mirrors
         [DIR]etc/ (1)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download coq_8.3.pl4+dfsg-2_s390x.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com