Coq OPAMcoq-type-infer
A formal verification of algorithm W
opam install coq-type-infer.0.1.0
- homepage
- https://github.com/fetburner/type-infer
- license
- MIT
- bugs tracker
- https://github.com/fetburner/type-infer/issues
- dependencies
- "dune" {>= "2.5"} "coq" {>= "8.8"} "coq-mathcomp-ssreflect" {>= "1.11"}
- source
- https://github.com/fetburner/type-infer/archive/0.1.0.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-type-infer/coq-type-infer.0.1.0