formal proof - Turco Inglés Diccionario