Proclo

For the Greek philosopher, see Proclus

Proclo was a later pupil of the Greek geometer Euclid whose version of Euclid's Elements was translated into Arabic.