A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool