Regenerate files from latest templates.

coq-community / coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

https://coq-community.org/coq-art/

MIT License

110 stars 22 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.