Mirrors
/
slackbuilds-current
mirror of https://github.com/Ponce/slackbuilds.git
5
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
59636 Commits
600 Branches
807 Tags
297 MiB
 
 
 
 
 
 
Tree: f7af3609ae
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'f7af3609ae'
${ noResults }
slackbuilds-current/academic/coq
Matteo Bernardini 783ba9e72b
academic/coq: Updated for version 8.5pl1. 		9 years ago
..
README academic/coq: Fixed dep information 13 years ago
coq.SlackBuild academic/coq: Updated for version 8.5pl1. 9 years ago
coq.info academic/coq: Updated for version 8.5pl1. 9 years ago
gpl.txt.gz academic/coq: Added (The Coq Proof Assistant) 14 years ago
slack-desc various: Fix slack-desc formatting and comment nit picks. 12 years ago

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.