Skip to content

feat(PhyslibAlpha): QuantumThermodynamics — thermal state, Landauer bound, area API-map - #1409

Draft
fliingelephant wants to merge 3 commits into
leanprover-community:masterfrom
fliingelephant:alpha/quantum-thermal
Draft

feat(PhyslibAlpha): QuantumThermodynamics — thermal state, Landauer bound, area API-map#1409
fliingelephant wants to merge 3 commits into
leanprover-community:masterfrom
fliingelephant:alpha/quantum-thermal

feat: QuantumThermodynamics area API-map and alpha registration

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

Annotations

1 warning
Comment a pull_request
succeeded Jul 10, 2026 in 37s