1 files changed, 21 insertions, 0 deletions
diff --git a/api/routes.ml b/api/routes.ml
new file mode 100644
index 0000000..74b78ae
--- /dev/null
+++ b/api/routes.ml
@@ -0,0 +1,21 @@
+(* Define the routes for our api *)
+
+open Handlers
+
+let routes = [
+
+  Dream.get "/health"
+    health_endpoint;
+
+  Dream.post "/validate_formula"
+    validate_formula_endpoint;
+
+  Dream.post "/satisfy"
+    satisfy_endpoint;
+
+  Dream.post "/sequent_proof"
+    sequent_proof_endpoint;
+
+  (* /tableau_calculus_proof *)
+
+]