I think pressure on the final submitted solution is likely. That will encourage more insightful proofs over long monotonous case studies.
I think pressure on the final submitted solution is likely. That will encourage more insightful proofs over long monotonous case studies.