coq-community/reduction-effects Issues
Support for Coq 8.18
Closed 4Support for timing effects
Updatedprint_id in match prints nothing
Closed 1Support for Coq 8.10
Closed
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]