Repository navigation

perf: speed up InfiniteConnesRigidity proofs and imports - #447

Merged

Vilin97 merged 16 commits into

mainfrom

claude/daily-optimize-2026-09-17

Sep 18, 2026

Merged

perf: speed up InfiniteConnesRigidity proofs and imports#447
Vilin97 merged 16 commits into
mainfrom
claude/daily-optimize-2026-09-17

Commits on Sep 17, 2026
- perf: speed up InfiniteConnesRigidity proofs and imports
  
  Vilin97 automation
  and
  claude
  committed
  88a70cb
- Merge remote-tracking branch 'origin/main' into pr-447
  github-actions[bot]
  committed
  5a79f28
- Merge remote-tracking branch 'origin/main' into pr-447
  github-actions[bot]
  committed
  e6c70c1
- Merge remote-tracking branch 'origin/main' into pr-447
  github-actions[bot]
  committed
  3765a35
- Merge remote-tracking branch 'origin/main' into pr-447
  github-actions[bot]
  committed
  5af344a
- Merge remote-tracking branch 'origin/main' into pr-447
  github-actions[bot]
  committed
  782c55d
- Merge remote-tracking branch 'origin/main' into pr-447
  github-actions[bot]
  committed
  7e51f22
- Merge remote-tracking branch 'origin/main' into pr-447
  github-actions[bot]
  committed
  7dd5ff0
Commits on Sep 18, 2026