search

Lysxia / coq-ceres

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

Resolve warnings #28

Open Lysxia opened 2 years ago

Lysxia commented 2 years ago

Probably drop support for old versions of Coq