Proof verification's claimed role in earlier IMO results
One commenter seeks a source on verification; another says checking proofs was a big part of earlier IMO results.
TLDR
One commenter says they expected some verification during the environment and asks for a source. Another says verifying hard-to-check tasks such as proofs was a big part of earlier IMO results, and links to a post they say mentioned it.
Combined views
—
1 Source, first seen ago
