Posted: Sat 13 Apr 2013, 14:51 Post subject:
Coq 8.3pl5 proof assistant + CoqIDE Subject description: 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
You cannot post new topics in this forum You cannot reply to topics in this forum You cannot edit your posts in this forum You cannot delete your posts in this forum You cannot vote in polls in this forum You cannot attach files in this forum You can download files in this forum