Hrvatska enciklopedija (2013–)
Proklo (grčki Πρόϰλος, Prόklos), grčki filozof, novoplatoničar (Carigrad, oko 412 – Carigrad, 485). ...

Hrvatski opći leksikon (2012)
Proklo (Próklos) (o. 410–485), grč. filozof; posljednji klas. filozof antike i veliki sistematičar ant. ...

Hrvatski obiteljski leksikon (2005)
Proklo (410–485), grčki filozof ...