Pošalji tekstualnu poruku: Accurate Theorem Proving for Program Verification