package coq-json
JSON in Coq
Install
Dune Dependency
Authors
Maintainers
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:JSONPublished: 04 Mar 2022
Dependencies (5)
-
coq-menhirlib
>= "20220210" -
menhir
>= "20220210" -
coq-parsec
>= "0.1.1" -
coq-ext-lib
< "0.12" -
coq
>= "8.12~" & < "8.16"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page