search

coq-community / coqeal

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

[CI] Add Coq 8.16 and MC 1.15 #65

Closed proux01 closed 2 years ago