package coq-ceres

  1. Overview
  2. Homepage
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

Conflicts

None

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct