diff options
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. |