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.3.tar.gz
md5=d35d53ce952676472249feba84ac5c53
sha512=7c3144e7f7d54374e7a9d8ce88584c385294cb69c4f66db6aadceb1975be834969d0a5f1acf10459fb117b35df6924d8d879f708068a60e9f835514e0798e5d1
Description
On This Page