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
- coq >= 8.5.0 & 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