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.3.0.tar.gz
sha512=2de406c1df6c37cf1a99bed741bf8d266ede024e862b828abe426acc2559816091dbc5630a7de4655c48993354d3db87569aefa90d136054a476d1c82fb44134

Description

Tags

date:2020-09-28 logpath:Ceres keyword:serialization

Published: 28 Sep 2020

Dependencies (1)

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

Dev Dependencies

None

Used by (1)

  1. coq-vellvm

Conflicts

None