Skip to content

feat(PhyslibAlpha): derive normalized variance bounds for algebraic states - #1650

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:nava-variance-product-normalization
Sep 14, 2026
Merged

jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:nava-variance-product-normalization

feat: derive normalized variance bounds for algebraic states

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

Annotations

1 warning
Add size label
succeeded Sep 13, 2026 in 5s