Deploy webdemo

ps-tuebingen · Apr 25, 2024 · f689219 · f689219
commit f689219
Show file tree

Hide file tree

Showing 3 changed files with 34,815 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -0,0 +1,9 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <title>One-Sided Sequent Calculus</title>
+    <link rel="stylesheet" href="main.css"/>
+  </head>
+  <body></body>
+  <script src="index.js" defer></script>
+</html>