formal proofs - Almanca İngilizce Sözlük