Skip to content

verus: update to new resource algebras#49

Merged
jaylorch merged 3 commits into
microsoft:mainfrom
bsdinis:bsdinis/oou
May 8, 2026
Merged

verus: update to new resource algebras#49
jaylorch merged 3 commits into
microsoft:mainfrom
bsdinis:bsdinis/oou

Commits

Commits on May 6, 2026

Commits on May 7, 2026