search

uwplse / cheerios

Formally verified Coq serialization library with support for extraction to OCaml
BSD 2-Clause "Simplified" License
23 stars 5 forks source link

8.7 compatibility #9

Closed palmskog closed 7 years ago

palmskog commented 7 years ago

Also, still compatible with Coq 8.6.1 (but no further back, due to choices by Coq maintainers).