Skip to content

refactor(PhyslibAlpha): state the open chain uncertainty on its own Hilbert space - #1709

Merged
jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-tight-binding-uncertainty-own-space
Oct 2, 2026
Merged

jstoobysmith merged 1 commit into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-tight-binding-uncertainty-own-space

refactor(PhyslibAlpha): state the open chain uncertainty on its own H…

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

Annotations

3 warnings and 2 notices
Add topic label
succeeded Oct 1, 2026 in 1m 18s