package coq-reduction-effects
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Coq plugin to add reduction side effects to some Coq reduction strategies
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.5.tar.gz
md5=e913b9fcfe9ff88a5e637b8e05191a0e
sha512=9665623b59d352fdfc5e00de4e18d900372161f35e8ec945bee360e4e7c8daa2a514ae9e4b05112aade5c3a30020784f739ca2dcbdeba4407216420a9960a25c
Description
On This Page