#

two-state-model

Here are 2 public repositories matching this topic...

AEjonanonymous / Anchoring-the-Widom-Line

Formal Verification of the 1.95°C Liquid-Liquid Transition in Ambient Water.

water formal-verification helmholtz-equation interactive-theorem-proving thermodynamic-properties liquid-state-theory condensed-matter-physics ambient-temperature iapws95 derivative-analysis liquid-liquid-phase-separation academic-research lean4 two-state-model isothermic-compressibility widom-line specific-heat-capacity

Updated Jul 19, 2026
HTML

anthony-consiglio / waterEoS

Thermodynamic equations of state for supercooled water

python rust scientific-computing thermodynamics equation-of-state water supercooled-water two-state-model

Updated Aug 12, 2026
Python

Add this topic to your repo

To associate your repository with the two-state-model topic, visit your repo's landing page and select "manage topics."