News for hackers. Stuff that matters.

A comment on Software Foundations. Parent comment

Re:Software Foundations by eli_gottlieb on Saturday May 31, 2014 @06:44AM (#7825743)
Just download and use CoqIDE.
[ Parent | on HN ]

There are no comments on this comment yet.