-
Sylvain Dailler authored
Adapted work on nearest_goal_right to be able to use it why3shell. Now should be able to apply transformation and proof on current goal. Also able to print the current tree and goal. Requires testing.
b38a33e9
Adapted work on nearest_goal_right to be able to use it why3shell. Now should be able to apply transformation and proof on current goal. Also able to print the current tree and goal. Requires testing.