Skip to content

Merge branch 'leanprover-community:master' into ahatta-sudden-frequen…

10a6b90
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(QuantumMechanics): sudden frequency change for the QHO #1109

Merge branch 'leanprover-community:master' into ahatta-sudden-frequen…
10a6b90
Select commit
Loading
Failed to load commit list.
Check for spelling errors
succeeded May 19, 2026 in 14s