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=131dbb384207231c709789a47d4474ba

sha512=e3cc8f9c06e5b5080e8d1c9c4af916b85bf805b059d431f8033116388e4ae260269aee8b7a281b6f89769c0e47b4043e67cea8323e643b445582464a085c4971

Description

From JSON to Coq, and vice versa.

Tags

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

Published: 01 Jun 2022

Dependencies (4)

coq-menhirlib >= "20220210"
menhir >= "20220210"
coq-parsec >= "0.1.1"
coq >= "8.14~"

Dev Dependencies

None

Used by (2)

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

Conflicts

None

On This Page

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