ci: add coq.dev - Githubissues

Lysxia / coq-ceres

Coq library for serialization to S-expressions

MIT License

18 stars 1 forks source link

Closed liyishuai closed 5 years ago

liyishuai commented 5 years ago

Is it worth adding Cérès to Coq CI?

Lysxia commented 5 years ago

I think we can wait until QuickChick somehow depends on it.

Lysxia commented 5 years ago

Thanks!