Commit Graph

9 Commits

Author SHA1 Message Date
9d287a37d5 Add flags for setting rules and query before starting
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-26 20:53:31 -08:00
ff1ea05784 Add yielding to help proof search
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-26 17:17:10 -08:00
33c3f87564 Add some styling (still very early stages) 2023-11-26 16:25:23 -08:00
acc769e799 Add LaTeX support for rendering rules 2023-11-26 15:54:01 -08:00
7cc5d05e9c Add a way to print the rules as LaTeX 2023-11-26 14:34:52 -08:00
e123f24af0 Add support for reifying proof trees
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2023-11-26 13:14:44 -08:00
985be53367 Add an interactive 'can this query be satisfied' interface 2023-11-26 12:47:05 -08:00
efe0efbee7 Add a (debug) interactive demo 2023-11-26 11:58:20 -08:00
800c96dc7b Add an initial Main.elm file 2023-11-26 11:43:38 -08:00