Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-06 08:26:50 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
slackbuilds_ponce/academic/coq
History
Heinz Wiesinger 7f26b9929f
All: SlackBuilds run in the directory they are in 
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-05 16:01:32 +07:00
..
coq.info
coq.SlackBuild All: SlackBuilds run in the directory they are in 2021-07-05 16:01:32 +07:00
gpl.txt.gz
README
slack-desc

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.