search

Lysxia / coq-ceres

Coq library for serialization to S-expressions
MIT License
18 stars 1 forks source link

CI: Add Coq 8.15 #26

Closed liyishuai closed 2 years ago

liyishuai commented 2 years ago

and test dependants. Stable release lacking for Coq >= 8.14.