News for hackers. Stuff that matters.

A comment on Software Foundations.

Re:Software Foundations by thinkpad20 on Saturday May 31, 2014 @01:30AM (#7825358)
This is really relevant to my interests and I've been meaning to go through it for a while, but I can't seem to find much documentation on getting started with Coq (the actual using of it, like how to run the compiler, etc). I'm sure the information is out there, but it's at least enough of a PITA to keep me from getting started... :(
[ Parent | on HN ]
Re:Software Foundations by takeoutweight on Saturday May 31, 2014 @02:31AM (#7825428)
Have you looked at Adam Chlipala's Certified Programming with Dependent Types book? It uses Coq and Proof General. There's an online version: http://adam.chlipala.net/cpdt/
[ Parent | on HN ]
Re:Software Foundations by dmjio on Saturday May 31, 2014 @03:15AM (#7825469)
Allen, think it's time to switch to emacs ;)
[ Parent | on HN ]
Re:Software Foundations by thinkpad20 on Saturday May 31, 2014 @06:55PM (#7827539)
Lol... I only use emacs if required to. Which, it seems, with Coq or Agda is the case. :(
[ Parent | on HN ]
Re:Software Foundations by eli_gottlieb on Saturday May 31, 2014 @06:44AM (#7825743)
Just download and use CoqIDE.
[ Parent | on HN ]