Repository navigation

feat(lean,#16108): teach Schwartz spaces with executable companion - #16124

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/16108-schwartz-companion

Sep 15, 2026

Commits on Sep 14, 2026
- feat(lean,#16108): Calibration.Distribution module (FR/EN) + Lean-33 companion
  
  jsboige
  and
  claude
  committed
  5285c30
- fix(lean,#16108): emit real compiler output from three silent Lean-33 cells
  
  jsboige
  and
  claude
  committed
  6c1f076
- chore(lean,#16108): refresh verified Lean-33 execution outputs
  
  jsboige
  and
  claude
  committed
  5c076d6