Skip to content

feat(PhyslibAlpha): saturation of the uncertainty relation in the maximal current state - #1718

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-tight-binding-saturation-v2
Oct 3, 2026
Merged

jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-tight-binding-saturation-v2

feat(PhyslibAlpha): saturation of the uncertainty relation in the max…

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Oct 2, 2026 in 9s