Package Details: coq-doc 8.4pl6-2

Git Clone URL: https://aur.archlinux.org/coq-doc.git (read-only)
Package Base: coq-doc
Description: HTML documentation for coq, a formal proof management system.
Upstream URL: http://coq.inria.fr/
Licenses: GPL
Submitter: zorun
Maintainer: zorun
Last Packager: zorun
Votes: 7
Popularity: 0.033486
First Submitted: 2013-05-12 22:15
Last Updated: 2015-06-25 09:08