aboutsummaryrefslogtreecommitdiff
path: root/academic/coq/README
blob: e21de9a5fab1e6297e42cb8a30e888bc40f5fcfa (plain)
1
2
3
4
5
6
7
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.