Марин написал жизнеописание учителя вскоре после его смерти и построил его необычно: не по годам, а по ступеням добродетелей.
Природные, нравственные, гражданские, очистительные, созерцательные, теургические — и на каждой ступени показано, чем Прокл ей отвечал.
Распорядок дня описан там же. Он давал по пять уроков в день, иногда больше, и писал около семисот строк. Читал он, по свидетельству Марина, не меньше шестисот строк ежедневно.
Молился на восходе, в полдень и на закате. Соблюдал египетские священные дни наравне с греческими и говорил, что философу подобает быть жрецом не одного города, а всего мира.
Мяса не ел, не женился, имущества почти не имел.
Главное его сочинение — «Первоосновы теологии»: двести одиннадцать положений, выведенных одно из другого, как теоремы у Евклида.
С этой книгой потом произошло следующее. Арабский составитель IX века выбрал из неё положения, переработал и составил новый трактат. На латынь его перевели в XII веке под названием «Книга о причинах» и приписали Аристотелю.
Двести лет её читали в университетах как аристотелевскую и комментировали в этом качестве.
В 1268 году Вильгельм из Мёрбеке перевёл на латынь самого Прокла. Фома Аквинский, сличив тексты, установил, что «Книга о причинах» — извлечение из Прокла, и написал это в своём комментарии.
Прокл умер в 485 году. Афинскую школу закрыли при Юстиниане в 529-м, через сорок четыре года.