Proclus Lycaeus (412-487) is considered the last major Greek philosopher. He came from a rich family in Constantinople. After studying in Alexandria and a brief legal career in Constantinople, he went to Athens to study at the famous School of Philosophy founded 800 years earlier by Plato.
He refers to ancient historians mentioning seven small islands in the Outer Ocean (Atlantic) dedicated to Persephone and three larger ones, of which one was 1,000 stadia long and dedicated to Poseidon.
In 1820, Thomas Taylor produced the only English translation that we have of Proclus’ commentary. Andrew Collins has drawn attention[0072.100] to a translation error by Taylor, noted by Alan Cameron and Peter James, which seems to offer a quote from Plato rather than Crantor, which in turn obscures whether it was Crantor or Plato actually travelled to Egypt.
Taylor notes that in a fragment from a lost book of Proclus, he seems to refer to orichalcum under the name of migma(c).
*(a) http://www.masseiana.org/intro.htm (offline Nov. 2017)
(b) https://archive.org/details/ProcluscommentaryOnTheTimaeusOfPlato *
(d) In Platonis Theologiam