rocq-json

A Rocq JSON Library, built with automation and extractability in mind

Meta

• Author(s):
  • Will Thomas
• License: Creative Commons Attribution Share Alike 4.0 International
• Compatible Rocq/Coq versions: 8.20 later
• Compatible OCaml versions: 4.12 or later
• Additional dependencies:
  • RocqCandy
  • Dune 3.17 or later
• Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of rocq-json is via OPAM:

opam repo add -a --set-default ku-sldg/opam-repo https://github.com/ku-sldg/opam-repo.git
opam repo add coq-released https://coq.inria.fr/opam/released
opam install rocq-json

To instead build and install manually, do:

git clone https://github.com/ku-sldg/rocq-json.git
cd rocq-json
dune build
dune install