formal proofs - Turkish English Dictionary