package coq-ceres

You can search for identifiers within the package.

in-package search v0.2.0

Library for serialization to S-expressions

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

L

Li-yao Xia

Maintainers

L

Li-yao Xia <lysxia@gmail.com>

Sources

sha512=6ee8f5ae1e6ba03e79e19dec3bb75084959452e8ca40294d10fdcce6f1d7373129abe2d5ed05405bd430374a228fb63bb5ad5e0d174990a20fd4af2492d62fd4

Description

Tags

logpath:Ceres keyword:serialization

Published: 03 Jul 2023

Dependencies (2)

coq >= "8.8.2"
dune >= "2.8"

Dev Dependencies (1)

odoc with-doc

Used by (5)

coq-parsec
coq-vellvm
coq-verified-extraction
rocq-vellvm < "v3.0.20260707"
rocq-verified-extraction < "1.0.0+9.1"

Conflicts

None

On This Page

Description
Dependencies (2)
Dev Dependencies (1)
Used by (5)
Conflicts