From e3d3e20dfea253de291d5b31059cd55c0eaabf02 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 11 May 2026 23:10:27 -0300 Subject: Multigroup unified reference for hierarchical access --- proof/_CoqProject | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 proof/_CoqProject (limited to 'proof/_CoqProject') diff --git a/proof/_CoqProject b/proof/_CoqProject deleted file mode 100644 index 0e6123e..0000000 --- a/proof/_CoqProject +++ /dev/null @@ -1,6 +0,0 @@ --R . Sakura - -Schema.v -Relation.v -Drl.v -Extraction.v -- cgit v1.2.3