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

fix(lean,#18950): bound the kink example verdict to the R1 step (adjo…

ca7fa7d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar