Pith. sign in

Thermodynamics

Thermodynamics modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.

33 modules · 186 thm/lemma · 3498 lines
module thm lemma def lines papers
Thermodynamics.BoltzmannDistribution 11 4 11 339 -
Thermodynamics.BoltzmannHEquation3 4 0 3 36 -
Thermodynamics.BosonizationFromJCost 4 0 3 36 -
Thermodynamics.Carnot_Efficiency_Body_RS 4 0 3 36 -
Thermodynamics.CriticalExponents 9 0 20 243 -
Thermodynamics.EntropyArrow3_FromJCost 4 0 3 36 -
Thermodynamics.EntropyProductionFromJCost 4 0 3 36 -
Thermodynamics.FluctuationDissipationDeep 4 0 3 36 -
Thermodynamics.HeatTransferFromJCost 2 0 2 47 -
Thermodynamics.Heat_Pump_COP_RS 4 0 3 36 -
Thermodynamics.JCostBoltzmann 7 0 1 141 -
Thermodynamics.JCostEntropyAncestor 14 1 3 438 -
Thermodynamics.KibbleZurekFromJCost 4 0 3 36 -
Thermodynamics.MaxEntFromCost 5 0 0 210 -
Thermodynamics.MaxwellRelationsFromJCost 4 0 3 51 -
Thermodynamics.Onsager_ReciprocityFromJCost 4 0 3 36 -
Thermodynamics.PartitionFunction 7 0 12 238 -
Thermodynamics.PhaseTransitions 7 0 6 264 -
Thermodynamics.RS_THM_Structural_001 4 0 3 36 -
Thermodynamics.RS_THM_Structural_002 4 0 3 36 -
Thermodynamics.RS_THM_Structural_003 4 0 3 36 -
Thermodynamics.RS_THM_Structural_004 4 0 3 36 -
Thermodynamics.RS_THM_Structural_005 4 0 3 36 -
Thermodynamics.RS_THM_Structural_006 4 0 3 36 -
Thermodynamics.RS_THM_Structural_007 4 0 3 36 -
Thermodynamics.RS_THM_Structural_008 4 0 3 36 -
Thermodynamics.RS_THM_Structural_009 4 0 3 36 -
Thermodynamics.RS_THM_Structural_010 4 0 3 36 -
Thermodynamics.RecognitionHeat3_Engine_FromJCost 4 0 3 36 -
Thermodynamics.RecognitionThermodynamics 10 0 13 292 -
Thermodynamics.SecondLaw 13 4 3 443 -
Thermodynamics.SpinGlassFreezing2FromJCost 4 0 3 36 -
Thermodynamics.ThermalFluctuation3_Deep 4 0 3 36 -

full source mirrored from github.com/jonwashburn/shape-of-logic