![]() |
Welcome to ftp.nluug.nl Current directory: /pub/ftp/os/Linux/distr/salix/sbo/14.0/academic/coq/ |
|
Contents of README:Coq implements a program specification and mathematical higher-level language called Gallina that is based on an expressive formal language called the Calculus of Inductive Constructions that itself combines both a higher-order logic and a richly-typed functional programming language. If you have ocamlopt, Coq will be compiled to native code, which runs 4-10 times faster. For best performance, OCaml should have support for pthreads. If you want CoqIDE, you need LablGTK2 (>= 2.10.0) with development files, and GTK2+ (>= 2.10.0). This also REQUIRES OCaml to have support for pthreads. If you have emacs installed, emacs files for Coq will be installed. Otherwise, they will be omitted. |
Name Last modified Size
Parent Directory -
README 29-Sep-2012 06:34 696
coq.SlackBuild 12-Aug-2011 00:00 2.7K
coq.info 29-Sep-2012 06:34 286
gpl.txt.gz 12-Aug-2011 00:00 12K
slack-desc 12-Aug-2011 03:58 833
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!