cheerios

Formally verified Coq serialization library with support for extraction to OCaml

23 stars

30 watching

5 forks

Language: Coq

last commit: 12 months ago

coqcoq-libraryocamlproofserializationserialization-library