package coq-json

  1. Overview
  2. No Docs
JSON in Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. Y
    Yishuai Li <liyishuai.lys@alibaba-inc.com>

Maintainers

  1. Y
    Yishuai Li <liyishuai.lys@alibaba-inc.com>

Sources

v0.2.0.tar.gz
md5=fcabf078a5385ef7b29d941e93f6e3a1
sha512=5d500ddf787b3357f385dd8dc0eaa014d6a68bd89867802f5e5747b18a6a3d91c090db4e0023a5220d29b41cb4a6fd8a02d0cf2e406ce4f813a14ed0471508c2

Description

From JSON to Coq, and vice versa.

Tags

category:Computer Science/Data Types and Data Structures keyword:serialization keyword:JSON logpath:JSON

Published: 09 Oct 2024

Dependencies (5)

  1. coq-menhirlib >= "20220210"
  2. menhir >= "20220210"
  3. coq-parsec >= "0.2.0"
  4. coq >= "8.14~"
  5. dune >= "3.6"

Dev Dependencies

None

Used by (2)

  1. coq-async-test
  2. coq-http = "0.1.2"

Conflicts

None