Repository navigation

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

feat(Computability): catalytic equality tests with restored borrowed registers#1689
SamuelSchlesinger merged 3 commits into
cslib-community:mainfrom
chris-ai1:feat/catalytic-comparison-1444

Commits on Oct 29, 2026
- feat(Computability): catalytic equality tests with restored borrowed registers
  
  chris-ai1
  and
  claude
  committed
  279dea5
Commits on Oct 30, 2026
- docs(Catalytic): credit the OpenAI Lean construction of the sum-of-squares test (#1444)
  
  chris-ai1
  and
  claude
  committed
  60152cd
- Merge origin/main into feat/catalytic-comparison-1444
  
  chris-ai1
  and
  claude
  committed
  49b50e6