quantconnect/lean

quantconnect

QuantConnect LEAN Open Source Project Repository

The software tools for developing in Lean 4

Unofficial image for Lean 4 development, with the elan version manager and lean.

Minimal Dev Container image for Lean 4 with elan: Debian, verified upstreams, SLSA provenance

Lean client image repository

Lean prover built from source

Ubuntu with elan and update-mathlib installed.