monadic rewrite of cheerios

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 wilcoxjay closed 8 years ago