diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-10 18:10:38 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-03-10 18:10:38 +0100 |
| commit | 9097561c8754c5e9f49a8b0f346de081b3c3bd94 (patch) | |
| tree | 9c5f8b326852820629dc18ae5003a8a747ad3450 /proofs/Memory/HeapMgr.v | |
| parent | 825830590663c363b32c7b9caae8db5f3a5c913f (diff) | |
[CHORE] Add DDK testing, AsciiUtils tweaks, proof organization.
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
Diffstat (limited to 'proofs/Memory/HeapMgr.v')
| -rw-r--r-- | proofs/Memory/HeapMgr.v | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/proofs/Memory/HeapMgr.v b/proofs/Memory/HeapMgr.v new file mode 100644 index 00000000..a709888e --- /dev/null +++ b/proofs/Memory/HeapMgr.v @@ -0,0 +1,10 @@ +(* + The HeapMgr, formally proven. + + Author: Amlal El Mahrouss + Formalization: March 2026 +*) + +From Coq Require Import Logic.Classical_Prop. + + |