gentoo.mahdi.cz

  

sci-mathematics:coq


Proof assistant written in O'Caml

coq-8.19.1LGPL-2.1
download~amd64 ~x86gentoo
coq-8.19.0LGPL-2.1
downloadamd64 ~x86gentoo