Regenerate files from latest templates.

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

https://math-classes.github.io

MIT License

161 stars 43 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.