search

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]
https://madiot.fr/coq100/
Other
55 stars 14 forks source link

update CI with Coq 8.15 and 8.16, only use lower bound for Coq #35

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

Since this project doesn't do releases, easiest to just have a lower bound for the Coq version in the opam package.