package coq-type-infer
A formal verification of algorithm W
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.0.tar.gz
md5=c4d970724196eb181cc51ee7718de3c6
Description
Published: 15 Dec 2020
Dependencies (3)
-
coq-mathcomp-ssreflect
>= "1.11" -
coq
>= "8.8" -
dune
>= "2.5"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page