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 Camlp4. For more information, see <http://coq.inria.fr/>.

This packages 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.0pl3-2
Architecture:i386
Distribution:Debian
Filename:coq_8.0pl3-2_i386.deb

/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
upward 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 coqtop
more»

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

COQ(1)                                                        COQ(1)



NAME
       coq-interface -



SYNOPSIS
       coq-interface [ options ]


DESCRIPTION
       coq-interface  is  a  Coq  customized toplevel system for Coq
       containing some modules useful for the  graphical  interface.
       This program is not for the casual user.


OPTIONS
       -h     Help.  Will  give  you  the  co
more»

/usr/share/man/man1/coq-interface.opt.1.gz

COQ(1)                                                        COQ(1)



NAME
       coq-interface -



SYNOPSIS
       coq-interface [ options ]


DESCRIPTION
       coq-interface  is  a  Coq  customized toplevel system for Coq
       containing some modules useful for the  graphical  interface.
       This program is not for the casual user.


OPTIONS
       -h     Help.  Will  give  you  the  co
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»

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

COQ(1)                                                        COQ(1)



NAME
       coqdep  -  Compu
more»

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

coqdoc(1)                                                  coqdoc(1)



NAME
       coqdoc - A docum
more»

Browse inside coq_8.0pl3-2_i386.deb

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

Download coq_8.0pl3-2_i386.deb

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