Skip to content

feat(QuantumMechanics/Blackbody): extend Planck's law with wavelength form and radiation constants - #1720

Open
dwan-ith wants to merge 3 commits into
leanprover-community:masterfrom
dwan-ith:feat/blackbody-planck-wien
Open

dwan-ith wants to merge 3 commits into
leanprover-community:masterfrom
dwan-ith:feat/blackbody-planck-wien

refactor(QuantumMechanics/Blackbody): address review feedback on Plan…

3c338af
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 4, 2026 in 5s