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
oneofvalts has no public lists
Timeline
oneofvalts has no activity yet
Mathematics graduate from Galatasaray University. I am interested in type theory and proof assistants. Currently formalizing Desargues's Theorem in Lean.
oneofvalts has no public lists
oneofvalts has no activity yet