Streams and strings in formal proofs