Repository navigation

misc/lean: check Lean models attached to design docs - #39512

Draft

antiguru wants to merge 8 commits into

MaterializeInc:mainfrom

antiguru:moritz/lean-design-models

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 3, 2026
- misc/lean: check Lean models attached to design docs
  
  antiguru
  and
  claude
  committed
  ec0ee47