in some cases the correspondence is needed in the givens to prove the goal, but is missing. See VC 6_7 for Seq_Based_Realiz (Educational Project, PQ_Template) in the web interface using the attached environment file.
Log in to post a comment.
