electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

electrod.libelectrod

Documentation:

Dependencies: containers, containers.data, containers.unix, fmt, fmt.tty, gen, hashcons, logs.fmt, mtime.clock.os, printbox, iter, stdcompat, stdlib-shims, ppx_deriving.runtime, visitors.runtime