Gentoo Packages /package/sci-mathematics/coqhttp://www.gentoo.org/favicon.icohttp://packages.gentoo.org/feed/package/sci-mathematics/coq?arches=linuxGentoo Packages22013-05-23T23:52:31Z
<div>
<span class="cpvstr">sci-mathematics/coq</span>: <span class="description">Coq is a proof assistant written in O'Caml</span>
</div>
http://packages.gentoo.org/package/sci-mathematics/coq?ts=2013-04-15T09:01:28Z?arches=linuxAgostino Sarubbo (ago)http://cia.vc/stats/author/ago2013-04-15T09:01:28Z