Adapt w.r.t coq/coq#16004

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 Alizter closed 2 years ago