From 519d6deaf1c49df6b699afece99bb44fc02d5655 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Sat, 7 Mar 2026 18:12:08 +0100 Subject: [CHORE] Update CITATION.cff. Signed-off-by: Amlal El Mahrouss --- proofs/Kernel/HeapMgr.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'proofs/Kernel') diff --git a/proofs/Kernel/HeapMgr.v b/proofs/Kernel/HeapMgr.v index fe0b0923..a709888e 100644 --- a/proofs/Kernel/HeapMgr.v +++ b/proofs/Kernel/HeapMgr.v @@ -6,3 +6,5 @@ *) From Coq Require Import Logic.Classical_Prop. + + -- cgit v1.2.3