Majoritatea operelor sale reprezintă comentarii asupra dialogurilor luiPlaton, printre aceste dialoguri enumerându-se:Alcibiades,Cratylus,Parmenides,Republica,Timaeus. Proclus a scris două tratate importante cu conținut teologic:Teologia platonică șiElementele teologiei. Proclus a scris și un comentariu asupraElementelor luiEuclid, care face referire la o axiomatizare anterioară, deHipocrate din Chios.[4]