coq-iris-string-ident

Add support for Gallina names in intro patterns to the Iris Proof Mode

opam install coq-iris-string-ident.0.1.0
homepage
https://gitlab.mpi-sws.org/iris/string-ident
license
BSD-3-Clause
bugs tracker
https://gitlab.mpi-sws.org/iris/string-ident/issues
dependencies
"coq" {>= "8.11" & < "8.13~"} "coq-iris" {(>= "3.3.0" & < "4.0") | = "dev"}
source
https://gitlab.mpi-sws.org/iris/string-ident/-/archive/v0.1.0/string-ident-v0.1.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-iris-string-ident/coq-iris-string-ident.0.1.0