https://github.com/maximedenes/native-coq

Coq with native compilation, as well as machine integers and arrays !
https://github.com/maximedenes/native-coq

Last synced: 3 months ago
JSON representation

Coq with native compilation, as well as machine integers and arrays !

• Host: GitHub
• URL: https://github.com/maximedenes/native-coq
• Owner: maximedenes
• License: lgpl-2.1
• Created: 2011-03-02T15:01:07.000Z (almost 14 years ago)
• Default Branch: master
• Last Pushed: 2018-07-12T09:30:30.000Z (over 6 years ago)
• Last Synced: 2024-10-11T21:50:33.831Z (3 months ago)
• Language: OCaml
• Homepage:
• Size: 17.2 MB
• Stars: 62
• Watchers: 14
• Forks: 14
• Open Issues: 5
• Metadata Files:
  • Readme: README
  • Changelog: CHANGES
  • License: LICENSE

Awesome Lists containing this project

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.

========

   There is a file named CHANGES that explains the differences and the

   incompatibilities since last versions. If you upgrade Coq, please read

   it carefully.

AVAILABILITY.

=============

   Coq is available at http://coq.inria.fr, or, for older versions at

   ftp://ftp.inria.fr/INRIA/LogiCal/coq.

THE COQ CLUB.

=============

   The Coq Club moderated mailing list is meant to be a standard way to

   discuss questions about the Coq system and related topics. The submission

   address is:

	[email protected]

   The topics to be discussed in the club should include:

     * technical problems;

     * questions about proof developments;

     * suggestions and questions about the implementation;

     * announcements of proofs;

     * theoretical questions about typed lambda-calculi which are

       closely related to Coq.

   To be added to, or removed from, the mailing list, please write to:

	[email protected]

   Please use also this address for any questions/suggestions about the

   Coq Club. It might sometimes take a few days before your messages get

   forwarded.

BUGS REPORT.

============

   Send your bug reports by filling a form at

        http://coq.inria.fr/bugs

   To be effective, bug reports should mention the Caml version used

   to compile and run Coq, the Coq version (coqtop -v), the configuration

   used, and include a complete source example leading to the bug.