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/Kernel/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/Kernel/HeapMgr.v')
| -rw-r--r-- | proofs/Kernel/HeapMgr.v | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/proofs/Kernel/HeapMgr.v b/proofs/Kernel/HeapMgr.v deleted file mode 100644 index a709888e..00000000 --- a/proofs/Kernel/HeapMgr.v +++ /dev/null @@ -1,10 +0,0 @@ -(* - The HeapMgr, formally proven. - - Author: Amlal El Mahrouss - Formalization: March 2026 -*) - -From Coq Require Import Logic.Classical_Prop. - - |