Coq OPAMcoq-unimath-substitution-systems
Aims to formalize a substantial body of mathematics using the univalent point of view
opam install coq-unimath-substitution-systems.0.1.0
- homepage
- https://github.com/UniMath/UniMath
- license
- Kind of MIT
- bugs tracker
- https://github.com/UniMath/UniMath/issues
- dependencies
- "ocaml" "coq" {>= "8.5.0" & < "8.6"} "coq-unimath-category-theory" "coq-unimath-foundations"
- source
- https://github.com/UniMath/UniMath/archive/v0.1.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-unimath-substitution-systems/coq-unimath-substitution-systems.0.1.0