HeapMgr.v « Kernel « 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/Kernel/HeapMgr.v

blob: fe0b092362cb9a47bce011f5e27345e739ef7139 (plain)

(*
    The HeapMgr, formally proven.

    Author: Amlal El Mahrouss
    Formalization: March 2026
*)

From Coq Require Import Logic.Classical_Prop.