An online live.lean-lang.org-style playground for running the Comparator tool

The Lean Computer Science Library (CSLib)

Lean 4 programming language and theorem prover

Automated releases from leanprover/lean4 PRs

Scripts for managing lake package monorepos.

Online Lean Workbench

A monorepo of packages downstream of Lean 4.

Lean 4 FFI bindings for SoPlex

The by lp and maximize tactics, LPBackend registry, solveVerified drivers. Factored out of kim-em/soplex (issue #50).