package rocq-ceres-bytestring
Library for serialization via S-expressions using bytestrings
Install
Dune Dependency
Authors
Maintainers
Sources
rocq-ceres-bytestring-1.0.0.tar.gz
sha512=61dd89d44ed179e1820d8f5e87129ca2b02d50e5ba6ded0b3e42b69338e40604ca845d1c0e3bf47c753ad1a10572fdc3898d13841d05b9a47c2083cfc33dcd2e
Description
Library for serialization via S-expressions using bytestrings. Alternative to coq-ceres which uses String from standard library.
Tags
category:Computer Science/Data Types and Data Structures keyword:serialization logpath:CeresBS date:2026-03-11Published: 11 Mar 2026
Dependencies (3)
-
rocq-metarocq-utils
>= "1.4~" -
coq
>= "9.0~" -
dune
>= "2.8"
Dev Dependencies (1)
-
odoc
with-doc
Used by (2)
- rocq-cakeml-extraction
-
rocq-verified-extraction
>= "1.0.0+9.1"
Conflicts
None
On This Page