Abdullah Uyu
@oneofvalts@mathstodon.xyz
Joined: 09/02/2023
About Abdullah Uyu
Mathematics graduate from Galatasaray University. I am interested in type theory and proof assistants. Currently formalizing Desargues's Theorem in Lean.
Lists
{username} has no public lists
Timeline
{username} has no activity yet