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.1.3.tar.gz
md5=79a4a65258d14ced6933f41e9cf66b31
sha512=6edac6aadf770b25ee638948ab9fcc631ba4b189d3f67f7b368c0ca94bfe920300326610ea76c38e0c970dfe47dcc9a706e56be94fd9c4b73f5a22bf5dde5a6c

Description

From JSON to Coq, and vice versa.

Tags

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

Published: 28 Jan 2024

Dependencies (5)

  1. coq-menhirlib >= "20220210"
  2. menhir >= "20220210"
  3. coq-ext-lib
  4. coq-parsec >= "0.1.1"
  5. coq >= "8.14~"

Dev Dependencies

None

Used by (2)

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

Conflicts

None