It would be good to have a marker on VCG view to show whether the goal is proved or not. Since VCG does not depend on prover plug-in, this would need to be implemented as an addition to VCG in the prover plug-in.
Log in to post a comment.
