Proof in real time