Skip to content

docs(lean,#15829): investigation knot_lean 4.33.0 bloquée par synthèse Decidable - #15844

Merged
myia-ai-01 merged 4 commits into
mainfrom
feature/15829-knot-4.33-investigation
Sep 13, 2026
Merged

docs(lean,#15829): investigation knot_lean 4.33.0 bloquée par synthèse Decidable#15844
myia-ai-01 merged 4 commits into
mainfrom
feature/15829-knot-4.33-investigation

Merge branch 'main' into feature/15829-knot-4.33-investigation

0d8176e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar