Which one for the first thinkers to form Free will in antiquity was also well-known for formulation of an atomic theory of the universe?
Democritus Democritus ( ; Greek: Δημόκριτος , "Dēmókritos", meaning "chosen of the people"; c. 460 – c. 370 BC ) was an influential Ancient Greek pre-Socratic philosopher primarily remembered today for his formulation of an atomic theory of the universe.
Proclus Proclus Lycaeus ( ; 8 February 412 – 17 April 485 AD), called the Successor (Greek Πρόκλος ὁ Διάδοχος , "Próklos ho Diádokhos"), was a Greek Neoplatonist philosopher, one of the last major Classical philosophers (see Damascius). He set forth one of the most elaborate and fully developed systems of Neoplatonism. He stands near the end of the classical development of philosophy, and was very influential on Western medieval philosophy (Greek and Latin).