search

coq-community / coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Other
65 stars 17 forks source link

[CI] Test Coq 8.17 and MC 1.16.0 #75

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

This drops support for Coq 8.13 and 8.14.