Repository navigation

misc/lean: add a Lean 4 project, toolchain image, and CI step - #39444

Open

antiguru wants to merge 8 commits into

MaterializeInc:mainfrom

antiguru:moritz/lean-infra

Commits on Oct 1, 2026

misc/lean: add a Lean 4 project, toolchain image, and CI step

antiguru
and
claude
committed
26a35c9
misc/lean: check unimported models and bake dependency modules

antiguru
and
claude
committed
c289f51
misc/images/lean: fail the image build if any dependency fails

antiguru
and
claude
committed
a76a410
misc/images/lean: drop toolchain parts proof checking does not need

antiguru
and
claude
committed
8596100
ci: exempt the Lean models step from the empty services.log check

antiguru
and
claude
committed
7981677
misc/images/lean: keep the whole Lean toolchain

antiguru
and
claude
committed
99fd85f

Commits on Oct 2, 2026

misc/lean: support non-root runs and prove consolidation merges records

antiguru
and
claude
committed
853ed4c

Commits on Oct 4, 2026

ci: run the Lean models step only when its inputs change

antiguru
and
claude
committed
401c143