package coq-reduction-effects
A Coq plugin to add reduction side effects to some Coq reduction strategies
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.6.tar.gz
md5=cf98e2d1df03ad74339fd8145313cdab
sha512=4afdd1b18212e50e01a89398facad9d45aa707dfabdb179df04fcfff0e569eaad65c33336c2962cacc7d633031ad851c11c161dbf3531576e62bf1eb2db1a17b
Description
On This Page