package rocq-elpi-json

You can search for identifiers within the package.

in-package search v0.2.0

Yojson bindings for rocq-elpi

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

E

Enrico Tassi <enrico.tassi@inria.fr>

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

rocq-elpi-3.5.1.tar.gz

md5=9d02db47384e4f9234cdd1b6009b1986

sha512=59ed01cbc164d3f135a680a83839269c768cdfe21e44f807bf4511b1fd8658dd32c2120be7d71ad7db91cd5ba5de8eae740aee22c346aa77d41928cf5ee0c11f

Description

This package provides basic support for reading and writing json files from Elpi programs running in Rocq

Published: 07 Sep 2026

Dependencies (3)

yojson
rocq-elpi
dune >= "3.13"

Dev Dependencies (1)

odoc with-doc

Used by

None

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies (1)
Used by
Conflicts