ProofSnap — Real work gets noticed.