Skip to content

feat(Foundations): factorial truncation of cutoff corrections - #1677

Merged
SamuelSchlesinger merged 10 commits into
cslib-community:mainfrom
chris-ai1:feat/factorial-truncation-1444
Oct 30, 2026
Merged

SamuelSchlesinger merged 10 commits into
cslib-community:mainfrom
chris-ai1:feat/factorial-truncation-1444

fix(Foundations): qualify Matrix apply lemmas in FactorialTruncation …

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

Annotations

1 warning and 2 notices
ci-checks
succeeded Oct 30, 2026 in 4m 50s