Lean 4 libraries and build tools for networked services: HTTP, gRPC, WebSockets, TLS, PostgreSQL, validation, observability, and application lifecycle management.
- Library catalog: libraries by function.
- lean-acme-widgets: an example service with gRPC, validated requests, authorization, PostgreSQL, and TLS.
- rules_lean: Bazel build rules, toolchain configuration, native linking, tests, and language-server support.
- CI guide: shared workflows and runner requirements.
Follow each repository's README for prerequisites and dependency setup, then build and test from its root:
bazel build //...
bazel test //...Use the Bazel version specified by the repository. MODULE.bazel configures
its Lean toolchain and dependencies. The README covers editor setup and
integration tests.
The libraries include executable tests, interoperability tests, and Lean
theorems. Repository documentation describes the properties checked, supported
protocol features, and native dependencies. Shared CI provides source-level
assurance reports; rules_lean supplies compiled-module audits for theorem,
axiom, and FFI inventories.