Skip to content

Recurrence spaces, phase A: shift operators, filtered finite check, defect identity (#1978) - #1997

Merged
PerAlexandersson merged 4 commits into
mainfrom
formalize/recurrence-spaces
Oct 21, 2026
Merged

PerAlexandersson merged 4 commits into
mainfrom
formalize/recurrence-spaces

Merge remote-tracking branch 'origin/main' into formalize/recurrence-…

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

Annotations

1 warning
comparator
succeeded Oct 21, 2026 in 12m 14s