diff options
Diffstat (limited to 'academic/coq/README')
-rw-r--r-- | academic/coq/README | 7 |
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. |