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/.gitignore | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 proof/.gitignore (limited to 'proof/.gitignore') diff --git a/proof/.gitignore b/proof/.gitignore deleted file mode 100644 index 5ff7fe7..0000000 --- a/proof/.gitignore +++ /dev/null @@ -1,11 +0,0 @@ -# Coq build artifacts -*.vo -*.vos -*.vok -*.glob -*.aux -.*.aux -Makefile.coq -Makefile.coq.conf -.Makefile.coq.d -.coqdeps.d -- cgit v1.2.3