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

{username} has no activity yet