gentoo.mahdi.cz
sci-mathematics
:coq
Proof assistant written in O'Caml
coq-8.19.1
LGPL-2.1
download
~amd64 ~x86
gentoo
coq-8.19.0
LGPL-2.1
download
amd64 ~x86
gentoo