]> matita.cs.unibo.it Git - helm.git/tree
run check_if_goal_is_solved on all goals (active+passive)
drwxr-xr-x - helm