Regenerate files from latest templates.

coq-community / reduction-effects

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

Closed Zimmi48 closed 4 years ago

Zimmi48 commented 4 years ago

Includes a move from the Gitter badge to the Zulip badge in README.