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.2.0.tar.gz
sha512=9c8fbddfb5f9c144d82288f76d968c5f1adcab0647ee6bc389166a095bd8431f0a649cc5660c9eec10fd597b7ab16e499f23c28e2a5be038d15522016a945277

Description

Tags

date:2020-03-13 logpath:Ceres keyword:serialization

Published: 13 Mar 2020

Dependencies (1)

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

Dev Dependencies

None

Used by (1)

  1. coq-vellvm

Conflicts

None