BRiCk and other BlueRock libraries

Build

Follow instructions in the https://github.com/SkylabsAI/workspace meta-repo; that will checkout this repo and needed dependencies.

BRiCk (Program logic for C++)

See this README.md.

Code generator for BRiCk

See this README.md.

Lens library

See this README.md.

Extension of std++ for universe polymorphic monads

See this README.md.

Extension of the elpi standard library

See this README.md.

Extension of the Ltac2 standard library

See this README.md.

Ltac2 logging library

See this README.md.

OCaml library with extensions of the Rocq API

See this README.md.

OCaml logger library

See this README.md.

Extension of the OCaml standard library

See this README.md.

Instrumentation for the Rocq compiler

See this README.md.