@arda@mathstodon.xyz
Joined: 09/23/2024
2
Followers
22
Following
mathematics undergrad @ izmir institute of technology. interested in logic, proof formalization.
{username} has no public lists
{username} has no activity yet