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.4.1.tar.gz
sha512=6ee8f5ae1e6ba03e79e19dec3bb75084959452e8ca40294d10fdcce6f1d7373129abe2d5ed05405bd430374a228fb63bb5ad5e0d174990a20fd4af2492d62fd4

Description

Tags

logpath:Ceres keyword:serialization

Published: 03 Jul 2023

Dependencies (2)

  1. coq >= "8.8.2"
  2. dune >= "2.8"

Dev Dependencies (1)

  1. odoc with-doc

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