sigma protocol

HOL-Theorem-Prover · Jan 28, 2025 · f4e0b01 · f4e0b01
1 parent 66f0c58
commit f4e0b01
Show file tree

Hide file tree

Showing 3 changed files with 1,343 additions and 1 deletion.
diff --git a/examples/Crypto/sigmaProtocol/Holmakefile b/examples/Crypto/sigmaProtocol/Holmakefile
@@ -0,0 +1,3 @@
+INCLUDES = $(HOLDIR)/examples/computability/register \
+           $(HOLDIR)/examples/set-theory/vbg \
+           $(HOLDIR)/src/algebra/construction