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-coq package to be installed.

Homepage:
Package version:8.2.pl2+dfsg-1
Architecture:i386
Distribution:Debian
Filename:coq_8.2.pl2+dfsg-1_i386.deb

/usr/share/doc/coq/README

            		THE COQ V8.2 SYSTEM
            		===================

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

   See the file INSTALL for installation procedure.


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

   The documentation of Coq V8.2 is available online from the Coq web
   site (see http://coq.inria.fr)


CHANGES.
========

   There is a file named CHANGES that explains the differences and the
   incompatibilities
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-interface.1.gz

COQ(1)                                                        COQ(1)



NAME
       coq-interface  -
more»

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

COQ(1)                                                        COQ(1)



NAME
       coq-parser - Coq
more»

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

Browse inside coq_8.2.pl2+dfsg-1_i386.deb

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

Download coq_8.2.pl2+dfsg-1_i386.deb

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