Thermodynamics
Thermodynamics modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Thermodynamics |
0 | 0 | 0 | 64 | — |
Thermodynamics.BoltzmannDistribution |
11 | 4 | 11 | 339 | — |
Thermodynamics.BoseEinstein |
10 | 1 | 6 | 251 | — |
Thermodynamics.ChemicalPotential |
5 | 0 | 10 | 238 | — |
Thermodynamics.CriticalExponents |
9 | 0 | 20 | 243 | — |
Thermodynamics.ErrorCorrection |
3 | 0 | 9 | 164 | — |
Thermodynamics.FermiDirac |
11 | 0 | 8 | 258 | — |
Thermodynamics.FreeEnergyMonotone |
8 | 1 | 4 | 443 | — |
Thermodynamics.HeatCapacity |
4 | 0 | 16 | 243 | — |
Thermodynamics.HeatTransferFromJCost |
2 | 0 | 2 | 47 | — |
Thermodynamics.HelmholtzReal |
6 | 0 | 5 | 155 | — |
Thermodynamics.JCostBoltzmann |
7 | 0 | 1 | 141 | — |
Thermodynamics.JCostEntropyAncestor |
14 | 1 | 3 | 438 | — |
Thermodynamics.JCostThermoBridge |
12 | 0 | 9 | 236 | — |
Thermodynamics.MaxEntFromCost |
5 | 0 | 0 | 210 | — |
Thermodynamics.MemoryLedger |
11 | 1 | 10 | 577 | — |
Thermodynamics.PartitionFunction |
7 | 0 | 12 | 238 | — |
Thermodynamics.PhaseTransitions |
7 | 0 | 6 | 264 | — |
Thermodynamics.RecognitionThermodynamics |
10 | 0 | 13 | 292 | — |
Thermodynamics.SecondLaw |
13 | 4 | 3 | 443 | — |