Skip to content

feat(Foundations): correction factorization and reward transport for transition matrices - #1676

Merged
SamuelSchlesinger merged 5 commits into
cslib-community:mainfrom
chris-ai1:feat/correction-hierarchy-1444
Oct 30, 2026
Merged

SamuelSchlesinger merged 5 commits into
cslib-community:mainfrom
chris-ai1:feat/correction-hierarchy-1444

fix(Foundations): qualify Matrix apply lemmas for the rc2 Mathlib API

4014d0c
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