package rocq-print-assumptions-json

You can search for identifiers within the package.

in-package search v0.2.0

Structured JSON output for Print Assumptions

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

J

Jason Gross

Maintainers

J

Jason Gross <jason@theorem.dev>

Sources

sha512=b9b8aac2d3b0d49dac12c83d393424b8d85541c31cfcd56a2abbcd8172103d317f09e3e98d886e1733fa653ce7e1c8b3696573f3eafeadd9b3f4961bcffd6429

Description

A Rocq plugin providing variants of Print Assumptions that output results as JSON (compact or pretty-printed) or JSONL, for programmatic consumption.

Published: 27 Jul 2026

Dependencies (3)

ppx_optcomp build
dune >= "3.8" & build & < "3.24"
ocaml >= "4.14"

Dev Dependencies (4)

odoc with-doc
rocq-stdlib with-test
coq-core >= "9.0" | = "dev"
rocq-core >= "9.0" | = "dev"

Used by

None

Conflicts

None

On This Page

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