hollalinux
/
slackbuilds
mirror of https://github.com/SlackBuildsOrg/slackbuilds.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
slackbuilds/academic/coq
History
Heinz Wiesinger 63daf9f79a All: Support $PRINT_PACKAGE_NAME env var 
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
 		2021-07-17 21:55:09 +02:00
..
README academic/coq: Updated for version 8.9.0. 2020-01-18 07:49:05 +07:00
coq.SlackBuild All: Support $PRINT_PACKAGE_NAME env var 2021-07-17 21:55:09 +02:00
coq.info academic/coq: Updated for version 8.9.0. 2020-01-18 07:49:05 +07:00
gpl.txt.gz academic/coq: Added (The Coq Proof Assistant) 2011-08-05 11:11:34 -03:00
slack-desc academic/coq: Updated for version 8.9.0. 2020-01-18 07:49:05 +07:00

README 

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.