diff options
Diffstat (limited to 'proofs/Memory')
| -rw-r--r-- | proofs/Memory/HeapMgr.v | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/proofs/Memory/HeapMgr.v b/proofs/Memory/HeapMgr.v deleted file mode 100644 index a709888e..00000000 --- a/proofs/Memory/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. - - |