EPFL-LARA

Pinned Loading

1. LeanFlow LeanFlow Public

   Python 6

2. LeanProbe LeanProbe Public

   Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

   Python 5

3. stainless stainless Public

   Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

   Scala 404 59

4. lisa lisa Public

   Proof assistant based on first-order logic and set theory

   Scala 70 24

5. bolts bolts Public

   Bolts: Stainless Verified Scala Examples

   OCaml 30 13

6. inox inox Public

   Solver for higher-order functional programs, used by Stainless

   Scala 97 23