Merge pull request #48 from Verified-zkEVM/inductive-context

Foundation: Unique variables indices and reformulated completeness
Verified-zkEVM · Feb 3, 2025 · 0048bb0 · 0048bb0
2 parents eea38e0 + 78331e6
commit 0048bb0
Show file tree

Hide file tree

Showing 24 changed files with 1,240 additions and 699 deletions.
diff --git a/Clean.lean b/Clean.lean
@@ -1,4 +1,4 @@
-import Clean.Examples.Gadgets
+import Clean.Examples.Add8Operations
 import Clean.Gadgets.Addition32Full
 import Clean.Tables.Addition8
 import Clean.Tables.Fibonacci8