/cheerios

Formally verified Coq serialization library with support for extraction to OCaml

Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Stargazers