summaryrefslogtreecommitdiffstats
path: root/academic/coq/README
diff options
context:
space:
mode:
Diffstat (limited to 'academic/coq/README')
-rw-r--r--academic/coq/README7
1 files changed, 0 insertions, 7 deletions
diff --git a/academic/coq/README b/academic/coq/README
deleted file mode 100644
index e21de9a5fa..0000000000
--- a/academic/coq/README
+++ /dev/null
@@ -1,7 +0,0 @@
-coq is a formal proof management system. It provides a formal language
-to write mathematical definitions, executable algorithms and theorems
-together with an environment for semi-interactive development of
-machine-checked proofs.
-
-To build CoqIDE, add COQIDE=yes, e.g.: COQIDE=yes ./coq.SlackBuild.
-You will need the lablgtk package built with gtksourceview support.