#

widom-line

Here is 1 public repository 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

Improve this page

Add a description, image, and links to the widom-line topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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