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