Skip to content

feat(Computability): catalytic equality tests with restored borrowed registers - #1689

Merged
SamuelSchlesinger merged 3 commits into
cslib-community:mainfrom
chris-ai1:feat/catalytic-comparison-1444
Oct 30, 2026
Merged

SamuelSchlesinger merged 3 commits into
cslib-community:mainfrom
chris-ai1:feat/catalytic-comparison-1444

Merge origin/main into feat/catalytic-comparison-1444

49b50e6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 30, 2026 in 3s