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 (1)

Authors

E

Enrico Tassi <enrico.tassi@inria.fr>

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

rocq-elpi-3.3.1.tar.gz

md5=eb5ddbdeeb69c8fd7c5a15d6a67d90c1

sha512=50c7a091573df614d3d1f914ae236a975fbccec5337f08e99f4e3c507a203494760e00c8699d4c5426efb057bca3e7a2100602a4766b4f3764dae5b8c090a1de

Description

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

Published: 12 Mar 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