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