Coq OPAMcoq-monae
Monae
opam install coq-monae.0.0.1
- homepage
- https://github.com/affeldt-aist/monae
- license
- GPLv3
- bugs tracker
- https://github.com/affeldt-aist/monae/issues
- dependencies
- "coq" {(>= "8.9.1" & < "8.10.0~")} "coq-infotheo" {(>= "0.0.1" & < "0.0.4")}
- source
- https://github.com/affeldt-aist/monae/archive/0.0.1.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-monae/coq-monae.0.0.1