formal proofs - İspanyolca İngilizce Sözlük