3 ms·

Here is a dumb question: how does it distinguish between a partial solution that is just missing some characters/lines and nonsense?

• namin 3y ago
  Not dumb! The verifier lets slide an error on the last line, while it's still in progress.