Home Online Mathematical Communication Computational Complexity When is it worth the time and effort to verify a proof FORMALLY?