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#17633 (decompose_app returns array not list) #17
Closed
SkySkimmer closed 1 year ago