feat(Thermodynamics): add foundational API - #1365

Open

nateabr wants to merge 8 commits into

leanprover-community:masterfrom

nateabr:thermodynamics-foundations

Commits on Jul 4, 2026

feat(Thermodynamics): add accessibility and entropy interfaces
nateabr
committed
0f7d3ac
feat(Thermodynamics): add smooth fundamental relations
nateabr
committed
1e2b96a
feat(Thermodynamics): add ThermoModel bridge
nateabr
committed
3f03d33
feat(Thermodynamics): characterize the ideal gas fundamental relation
nateabr
committed
d44b8f4
chore(Thermodynamics): register thermodynamics modules
nateabr
committed
f93e481
chore(Thermodynamics): fix linter findings
nateabr
committed
7a25636
refactor(Thermodynamics): rename ThermoModel.coords to stateOf
nateabr
committed
6527289

Commits on Jul 9, 2026

refactor(Thermodynamics): address comments
nateabr
committed
85a71af