formal proof - Almanca İngilizce Sözlük