(*
    The HeapMgr, formally proven.

    Author: Amlal El Mahrouss
    Formalization: March 2026
*)

From Coq Require Import Logic.Classical_Prop.