Skip to content

backlog(B-0715): file Soraya round-52 hand-off — register IsTimeInvariant axiom (DBSP chain rule)#4790

Merged
AceHack merged 1 commit into
mainfrom
otto/soraya-round52-b0715-istimeinvariant-axiom-registry-2026-05-23
May 23, 2026
Merged

backlog(B-0715): file Soraya round-52 hand-off — register IsTimeInvariant axiom (DBSP chain rule)#4790
AceHack merged 1 commit into
mainfrom
otto/soraya-round52-b0715-istimeinvariant-axiom-registry-2026-05-23

Commits

Commits on May 23, 2026