From a89452064b00d69303fa04623a64c2bd5f8639cb Mon Sep 17 00:00:00 2001 From: RogerLamTd Date: Mon, 16 Oct 2023 16:41:53 -0700 Subject: [PATCH] add html to be served --- index.html | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 index.html diff --git a/index.html b/index.html new file mode 100644 index 000000000..a36bcf86e --- /dev/null +++ b/index.html @@ -0,0 +1,29 @@ + + + + + + Prover API + + +
+ + +