About Arda Oncu
mathematics undergrad @ izmir institute of technology. interested in logic, proof formalization, cogsci.
Lists
arda has no public lists
Timeline
arda has no activity yet
mathematics undergrad @ izmir institute of technology. interested in logic, proof formalization, cogsci.
arda has no public lists
arda has no activity yet