HeapMgr.v « Memory « proofs - NeKernel - Ne System's NeKernel: The Open Source Modular C++ Microkernel written in C++20.

summary refs log tree commit diff homepage

path: root/proofs/Memory/HeapMgr.v

blob: a709888e1253443d3e29529e36514026807a6597 (plain)

(*
    The HeapMgr, formally proven.

    Author: Amlal El Mahrouss
    Formalization: March 2026
*)

From Coq Require Import Logic.Classical_Prop.