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

Authors

E

Enrico Tassi <enrico.tassi@inria.fr>

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

rocq-elpi-3.4.0.tar.gz

md5=523c45e724ff1fc1db9dca8a05fb8784

sha512=8fb286c3cdd010e26378e6b4e682a48bae3c1052581f8025b75dd9db00cfd2dd2256193e6df75189687da13ec8a6b47590cd9f6544c3388bf6c62fce67493a61

Description

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

Published: 19 May 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