fix deprecations and make require-import consistent

uwplse / cheerios

Formally verified Coq serialization library with support for extraction to OCaml

BSD 2-Clause "Simplified" License

23 stars 5 forks source link

Closed palmskog closed 1 year ago