api/routes.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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 *)

]