Welcome to ftp.vim.org,
Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.1/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 26-Nov-2013 10:57 696 coq.SlackBuild 26-Nov-2013 10:57 2.8K coq.info 26-Nov-2013 10:57 286 gpl.txt.gz 12-Aug-2011 00:00 12K slack-desc 26-Nov-2013 10:57 830
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!