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.

Select a check to view from the sidebar