refactor: exports

anoma · Oct 15, 2024 · e07bd46 · e07bd46
1 parent 9eb1b28
commit e07bd46
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Anoma/Proving.juvix b/Anoma/Proving.juvix
@@ -0,0 +1,7 @@
+module Anoma.Proving;
+
+import Anoma.Proving.Types open;
+
+import Anoma.Proving.DeltaProof as DeltaProof open;
+import Anoma.Proving.LogicProof as LogicProof open;
+import Anoma.Proving.ComplianceProof as ComplianceProof open;