package coq-ceres

  1. Overview
  2. No Docs
Library for serialization to S-expressions

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. L
    Li-yao Xia

Maintainers

  1. L
    Li-yao Xia <lysxia@gmail.com>

Sources

0.1.0.tar.gz
sha512=f5e9bd9d09ae34503bdb0687e83c7ea80a794daf662ba8d94b00a6fec99e9c8cf427895dbb2684701314f9fab6c9179a77dfd3027d932ded42063b8142c2a0ad

Description

Tags

date:2019-11-14 logpath:Ceres keyword:serialization

Published: 14 Nov 2019

Dependencies (1)

  1. coq >= "8.8" & < "8.11~"

Dev Dependencies

None

Used by (1)

  1. coq-vellvm

Conflicts

None