Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.2/academic/coq/

Current bandwidth utilization 2037.57 Mbit/s

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.

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 README                                       18-Jan-2020 06:32  367   
 coq.SlackBuild                               18-Jan-2020 06:32  3.2K  
 coq.info                                     18-Jan-2020 06:32  295   
 gpl.txt.gz                                   12-Aug-2011 00:00   12K  
 slack-desc                                   18-Jan-2020 06:32  831   

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!