Coq JSON

From JSON to Coq, and vice versa.

Meta

• Author(s):
  • Yishuai Li
• License: BSD 3-Clause "New" or "Revised" License
• Compatible Coq versions: 8.14 or later
• Additional dependencies:
  • Parsec
  • Menhir
  • MenhirLib
  • Dune 3.6 or later
• Coq namespace: JSON
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Coq JSON is via OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-json

To instead build and install manually, do:

git clone https://github.com/liyishuai/coq-json.git
cd coq-json
dune build
dune install