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