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

Timeline

oneofvalts has no activity yet