About Anna Williams

Trans student studying Mathematics and Computer Science at the University of Birmingham. Interested in Category Theory, Type Theory, Domain Theory and Proof Assistants.

Lists

Timeline

awsloth has no activity yet