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

Authors

E

Enrico Tassi <enrico.tassi@inria.fr>

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

rocq-elpi-3.5.0.tar.gz

md5=a708d596a01ce746e066e01882830262

sha512=bc4f5c2d8c153d471702fe307715723b56f0e4d8a80722225e0e65ffaa036342edcd69ebdec9a56e910abadb9928faea3932d27446db022f860a0459355c07a0

Description

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

Published: 23 Jul 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