Y Math? To prove and verify!