Release 0.2.0 - Githubissues

Lysxia / coq-ceres

Coq library for serialization to S-expressions

MIT License

18 stars 1 forks source link

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

Just a reminder to myself that there are some unreleased changes.

Lysxia commented 4 years ago

Done