Skip to content

fix(lean,#16958): align MUH/Boolean/Decidable docstrings to scope réel — Concern #2 Hermes (re-apport) - #17431

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/16958-concern2-claim-code-align
Sep 23, 2026
Merged

fix(lean,#16958): align MUH/Boolean/Decidable docstrings to scope réel — Concern #2 Hermes (re-apport)#17431
myia-ai-01 merged 2 commits into
mainfrom
fix/16958-concern2-claim-code-align

fix(lean,#17431): re-trigger CI after Scripts Tests flaky

163c275
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar