formal proofs - Turco Inglés Diccionario