-
François Bobot authored
with the task pretty printed, it reduce the set of axioms to a minimal set of declaration which still prove the goal and pretty print it. Currently it does the bisection on the goal already prepared for the prover
f259ae47
with the task pretty printed, it reduce the set of axioms to a minimal set of declaration which still prove the goal and pretty print it. Currently it does the bisection on the goal already prepared for the prover