coq-lemma-overloading

Hoare Type Theory libraries showcasing design patterns for programming with canonical structures

opam install coq-lemma-overloading.8.8.0
homepage
https://github.com/coq-community/lemma-overloading
license
GPL 3
bugs tracker
https://github.com/coq-community/lemma-overloading/issues
dependencies
coq (>= 8.8 & < 8.9~) & coq-mathcomp-ssreflect (>= 1.6.2 & < 1.8~)
source
https://github.com/coq-community/lemma-overloading/archive/v8.8.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-lemma-overloading/coq-lemma-overloading.8.8.0