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 <yishuai@cis.upenn.edu>

Maintainers

  1. Y
    Yishuai Li <yishuai@cis.upenn.edu>

Sources

v0.1.0.tar.gz
md5=45f1e00c5e3f5d542bbcfd815b45dc51
sha512=d7cf540cfea1fb80ab7796d208d767f288f1dfa00ab23d54e6bf6cae1fec919afde6c5eea45e13a569b2c7a9be0313e41e31f230144c4351d863f26db35c6413

Description

From JSON to Coq, and vice versa.

Tags

category:Computer Science/Data Types and Data Structures keyword:serialization keyword:JSON date:2022-03-03 logpath:JSON

Published: 04 Mar 2022

Dependencies (4)

  1. coq-menhirlib >= "20220210"
  2. menhir >= "20220210"
  3. coq-parsec >= "0.1.1"
  4. coq >= "8.12~"

Dev Dependencies

None

Used by

None

Conflicts

None