A Mechanically Verified Garbage Collector for OCaml. - Sheera Shamsu; Dipesh Kafle; Dhruv Maroo; Kartik Nagar; Karthikeyan Bhargavan; K. C. Sivaramakrishnan (J. Autom. Reason., 2025)