From 03e5edadc59d2d59ef228501444e68a5e8a00c7e Mon Sep 17 00:00:00 2001
From: Amlal El Mahrouss <amlal@nekernel.org>
Date: Tue, 24 Mar 2026 14:59:00 +0100
Subject: [CHORE] Moving proofs in the papers module.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
---
 proofs/_CoqProject | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 proofs/_CoqProject

(limited to 'proofs/_CoqProject')

diff --git a/proofs/_CoqProject b/proofs/_CoqProject
deleted file mode 100644
index ea90d761..00000000
--- a/proofs/_CoqProject
+++ /dev/null
@@ -1,3 +0,0 @@
--R Kernel Kernel
-
-Kernel/HeapMgr.v
-- 
cgit v1.2.3