Maintainers	pmetzger
Categories	lang math
Homepage	https://rocq-prover.org/
Platforms	darwin
Variants	-

Subport(s) (1)

"coq" depends on

lib (0)

build (1)

extract (0)

run (0)

patch (0)

test (0)

fetch (0)

Ports that depend on "coq"

No ports

Port notes

The style file for LaTeX documentation, coqdoc.sty, is in ${prefix}/share/coq/latex. Add this to your TEXINPUTS if you wish to use it.