Skip to content

feat(lean,#18611): examples bornes tranchant la completude (<=) de l organe R1 - #18950

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/knot-completude-example-18611
Oct 3, 2026
Merged

feat(lean,#18611): examples bornes tranchant la completude (<=) de l organe R1#18950
myia-ai-01 merged 2 commits into
mainfrom
feature/knot-completude-example-18611

Commits

  1. Commits on Oct 3, 2026