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

coq-doc_8.3pl4.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:coq-doc_8.3pl4.orig.tar.gz

/coq-8.3pl4/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»

/coq-8.3pl4/README.doc

                           The Coq documentation
                           =====================

The Coq documentation includes:

- a reference manual;
- a generic tutorial on Coq;
- a tutorial on recursive types;
- a document presenting the Coq standard library;
- a list of questions/answers in the FAQ style

All these documents are available online from the Coq official site
(http://coq.inria.
more»

/coq-8.3pl4/README.win

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

    This file contains remarks specific to the windows port of Coq.

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

    The Coq package for Windows comes with an auto-installer. It will
install Coq binaries and libraries under any directory you specify
(C:\Program Files\Coq is the default path). It also creates shortcuts
in the Windows menus. Alternatively, you can launch Coq us
more»

/coq-8.3pl4/dev/README

This directory contains informations and tools to help developing the
                             C
more»

/coq-8.3pl4/plugins/cc/README

cctac: congruence-closure for coq

author: Pierre Corbineau, 
	Stage de DEA au LSV, ENS Cachan
	Th�
more»

/coq-8.3pl4/plugins/extraction/README

          Coq Extraction
          ==============


What is it ?
------------

The extraction is a 
more»

/coq-8.3pl4/plugins/romega/README

This work was done for the RNRT Project Calife. 
As such it is distributed under the LGPL licence.


more»

/coq-8.3pl4/plugins/xml/README

(******************************************************************************)
(* Copyright (C) 20
more»

Browse inside coq-doc_8.3pl4.orig.tar.gz

         [DIR]coq-8.3pl4/ (47)

Download coq-doc_8.3pl4.orig.tar.gz

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