|
|
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 |
|
|
|
9f7b59c65d
|
Instantiate the query-to-be-proven as well
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-11-26 12:32:28 -08:00 |
|
|
|
2f1cb79013
|
Clean up the search and proving code somewhat
|
2023-11-26 12:27:44 -08:00 |
|
|
|
6271dd8c2b
|
Add an initial implementation of proof search
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-11-26 00:45:05 -08:00 |
|
