La obra principal de Proclo sería la siguiente: