From 69de932f9116b30adfd689d38e35ace63aef0e2d Mon Sep 17 00:00:00 2001
From: filip <“filip.rabiega@gmail.com”>
Date: Fri, 16 Aug 2024 14:11:00 +0200
Subject: added api

---
 bin/main.ml | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

(limited to 'bin/main.ml')

diff --git a/bin/main.ml b/bin/main.ml
index 19dd333..10a6bc3 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -1,4 +1,16 @@
+(* Entry point for this web application *)
+
+(* open Chadprover.Types *)
+open Chadprover.To_string
+(* open Chadprover.Lib_utils *)
+open Chadprover.Lexing.Lexer
+open Chadprover.Parsing.Parser
+(* open Chadprover.Satisfiability.Satisfiable *)
+
 let () =
-  Dream.run (fun _ ->
-    Dream.html "Sup yall!"
-  )
+  let lex_result = lex "(p > (q > (p > p)))" in (* "a & b & c = z > x & y | c" *)
+  let parse_result = parse lex_result in
+  let proof = Chadprover.Sequent_calculus.Sequent_proof.prove_sequent (Seq([], [parse_result])) in
+  print string_of_stree proof
+
+let () = Api.Startapp.startapp ()
-- 
cgit v1.2.3