A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Mozilla Public License 2.0
6
stars
6
forks
source link
Adapt to coq/coq#19362 (reduction effects take locality) #22
Closed
SkySkimmer closed 4 months ago
also fix a deprecation warning