coq-paramcoq

Paramcoq The plugin is still in an experimental state. It is not very user friendly (lack of good error messages) and still contains bugs. But is useable enough to "translate" a large chunk of standard library.

opam install coq-paramcoq.1.1.1+coq8.9
homepage
https://github.com/coq-community/paramcoq
license
MIT
bugs tracker
https://github.com/coq-community/paramcoq/issues
dependencies
coq (>= 8.9 & < 8.10~)
source
https://github.com/coq-community/paramcoq/archive/v1.1.1+coq8.9.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-paramcoq/coq-paramcoq.1.1.1+coq8.9