From f7bd9786b47eefcccd23b73fb22cd3197bb353a4 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Thu, 5 Mar 2026 01:29:32 +0100 Subject: feat: proofs: reworked proof files. Signed-off-by: Amlal El Mahrouss --- proofs/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/proofs/Makefile b/proofs/Makefile index 1efedbc7..efbda2d8 100644 --- a/proofs/Makefile +++ b/proofs/Makefile @@ -10,4 +10,7 @@ clean: $(COQMAKEFILE) $(MAKE) -f $(COQMAKEFILE) clean rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf -.PHONY: all clean \ No newline at end of file +.PHONY: all clean + + + -- cgit v1.2.3