package coq-json

You can search for identifiers within the package.

in-package search v0.2.0

JSON in Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

Y

Yishuai Li <yishuai@cis.upenn.edu>

Maintainers

Y

Yishuai Li <yishuai@cis.upenn.edu>

Sources

md5=6f5ff5b364192b63dbf1b33970ec3dfe

sha512=9398190d689c41ed7b74b83fde19b95dca8a2e23aa53eb5c9705a2d505a52c2d291d1f7e80d0d24b762db182ab82dd575ead727d6c47ca92b7d3f376e199342a

Description

From JSON to Coq, and vice versa.

Tags

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

Published: 20 Mar 2022

Dependencies (5)

coq-menhirlib >= "20220210"
menhir >= "20220210"
coq-parsec >= "0.1.1"
coq-ext-lib < "0.12"
coq >= "8.12~"

Dev Dependencies

None

Used by (2)

coq-async-test
coq-http = "0.1.2"

Conflicts

None

On This Page

Description
Dependencies (5)
Dev Dependencies
Used by (2)
Conflicts