package coq-squiggle-eq
An abstract formalization of variable bindings (both named and de-bruijn),
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.4.tar.gz
md5=c0378498110aa30ea89d4f9df1ca3b77
Description
based on ideas in the following paper:
Howe, Douglas J. “Equality in Lazy Computation Systems.” In LICS, 198–203, 1989.
Published: 27 Jul 2018
Dependencies (3)
- coq-ext-lib
-
coq
>= "8.8" & < "8.9~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page