-
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
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
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.