feat: PositiveTemperature#969

Closed

ichxorya wants to merge 19 commits intoleanprover-community:masterfrom

SEhumantics:feat/nghiabt/postemp

Commits on Feb 22, 2026

feat(thermodynamics): initialize large scale changes and updates in the Thermodynamics module (with some extend to StatisticalMechanics since it depends on Thermodynamics)
ichxorya
committed

Commits on Feb 23, 2026

docs(thermodynamics): offload from lemmas/definitions docstrings to line comments
ichxorya
committed

Commits on Feb 24, 2026

docs(thermodynamics): improve clarity of lemmas in Temperature module
ichxorya
committed
docs(thermodynamics): enhance docstrings for Temperature.Basic functions
ichxorya
committed
docs(thermodynamics): add note to βFromReal function (questioning about the type definition)
ichxorya
committed
style(thermodynamics): fix typo in helper lemma comment
ichxorya
committed
feat(thermodynamics): break the large `Basic.lean` file into smaller files
ichxorya
committed
style(thermodynamics): fix formatting in βFromReal docstring
ichxorya
committed
feat(thermodynamics): enhance temperature scale functionality
ichxorya
committed
feat(thermodynamics): add temperature scales import and clean up code
ichxorya
committed
style(physlean): reorder imports
ichxorya
committed

Commits on Feb 25, 2026

Commits on Feb 27, 2026

Commits on Mar 3, 2026

Merge branch 'leanprover-community:master' into feat/nghiabt/postemp
ichxorya
authored

Commits on Mar 4, 2026

Commits on Mar 5, 2026

Merge branch 'leanprover-community:master' into feat/nghiabt/postemp
ichxorya
authored