Introducing CI for Coq 8.18.

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 1 year ago

Zimmi48 commented 1 year ago

In preparation for a new 8.18-compatible math-classes release.

Zimmi48 commented 1 year ago

FYI @SnarkBoojum I'll create a new release after merging this PR. Corn should follow once Math-Classes has been updated on opam.

SnarkBoojum commented 1 year ago

Thanks!