search

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

Update meta.yml to test Coq 8.11 (and wrt latest templates). #84

Closed Zimmi48 closed 4 years ago

Zimmi48 commented 4 years ago

This should be a step toward #83.