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

coqide

proof assistant for higher-order logic (gtk interface)

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 CoqIde, a graphical user interface for developing proofs.

Homepage:
Package version:8.3.pl4+dfsg-2
Architecture:amd64
Distribution:Debian
Filename:coqide_8.3.pl4+dfsg-2_amd64.deb

/usr/share/doc/coqide/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/lib/coq/ide/FAQ

			CoqIde FAQ

Q0) What is CoqIde?
R0: A powerfull graphical interface for Coq. See http://coq.inria.fr. for more informations.

Q1) How to enable Emacs keybindings?
R1: Insert 
	gtk-key-theme-name = "Emacs"
    in your ".coqide-gtk2rc" file. It may be in the current dir
    or in $HOME dir. This is done by default.

Q2) How to enable antialiased fonts?
R2) Set the GDK_USE_XFT variable to 1. This 
more»

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

COQIDE(1)                                                  COQIDE(1)



NAME
       coqide - The Coq Proof Assistant graphical interface



SYNOPSIS
       coqide [ options ]


DESCRIPTION
       coqtop  is a gtk graphical interface for the Coq proof assis‐
       tant.

       For command-line-oriented use of Coq,  see  coqide(1)  ;  for
       batch-oriented use of Coq, see coqc(1).



OPTIONS
more»

/usr/share/doc/coqide/changelog.Debian.gz

coq (8.3.pl4+dfsg-2) unstable; urgency=low

  * Recompile with camlp5 6.06 (no changes)

 -- Stépha
more»

/usr/share/doc/coqide/changelog.gz

Changes from V8.3pl3 to V8.3pl4
===============================

Bug fixes:

- #2724 (using notation
more»

/usr/share/doc/coqide/copyright

Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/

License: LGPL-2.1
 The Co
more»

Browse inside coqide_8.3.pl4+dfsg-2_amd64.deb

         [DIR]DEBIAN/ (4)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download coqide_8.3.pl4+dfsg-2_amd64.deb

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