package coq-json
JSON in Coq
Install
Dune Dependency
Authors
Maintainers
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:JSONPublished: 09 Oct 2024
Dependencies (5)
-
coq-menhirlib
>= "20220210" -
menhir
>= "20220210" -
coq-parsec
>= "0.2.0" -
coq
>= "8.14~" -
dune
>= "3.6"
Dev Dependencies
None
Used by (2)
- coq-async-test
-
coq-http
= "0.1.2"
Conflicts
None
On This Page