Posted: Sat 13 Apr 2013, 14:51 Post_subject:
Coq 8.3pl5 proof assistant + CoqIDE Sub_title: a Pet installer for Coq 8.3pl5 proof assistant and CoqIDE
Compiled using Racy Puppy 5.3
No menu entry.
You have to manually create a coqtop shorcut for coqtop.opt | coqtop.byte and a coqide shorcut for coqide.opt | coqide.byte
A x-coq MIME type is created. Plus a coq48.pngmidi-icon for integration with ROX-Filer.
Coq reference manual
Coq standard library
#coq freenode Web IRC