Il naît le 7 février 412 dans une riche famille de Byzance (Turquie). Il est éduqué à Xanthos, en Lycie. La déesse Athéna lui apparaît en songe, et il décide d’étudier la philosophie. À Alexandrie, il devient, en philosophie, le disciple d’Olympiodore l’Ancien, et, en mathématiques, le disciple de Héron d’Alexandrie.
Proclos a fait un travail important de commentaires sur le premier livre des éléments de géometrie d’Euclide.
Ses commentaires sont une des sources les plus importantes sur l’histoire des mathématiques antiques.
