The life of Proclus, by Marinus, was published by Fabricius (Hamburg, 1700, et ad calcem Bibliot. Latin. Lond. 1703.) See Saidas, (tom. iii. p. 185, 186,) Fabricius, (Bibliot. Graec. l. v. c. 26 p. 449 - 552,) and Brucker, (Hist. Crit. Philosoph. tom. ii. p. 319 - 326).