HeatEnergyDecay: Lean 4 proof of energy decay for linear heat-type flows

Published in Zenodo, 2026