diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-05 01:29:19 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-05 01:29:19 +0100 |
| commit | a7dd55d8353d1b8f039532bfc2d186653e19099b (patch) | |
| tree | 977f786fda8be4f97fd8eb7af9901bf6b8f0c565 /proofs/Kernel/HeapMgr.v | |
| parent | 63ae6e0039e00e728d8d7bcebb323d461f2ef2fe (diff) | |
feat: proofs: reworked proof files.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'proofs/Kernel/HeapMgr.v')
| -rw-r--r-- | proofs/Kernel/HeapMgr.v | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/proofs/Kernel/HeapMgr.v b/proofs/Kernel/HeapMgr.v new file mode 100644 index 00000000..fe0b0923 --- /dev/null +++ b/proofs/Kernel/HeapMgr.v @@ -0,0 +1,8 @@ +(* + The HeapMgr, formally proven. + + Author: Amlal El Mahrouss + Formalization: March 2026 +*) + +From Coq Require Import Logic.Classical_Prop. |