formal and informal proofs - Turkish English Dictionary