Kevin Buzzard
@xenaproject@mathstodon.xyz
Joined: 13/11/2022
About Kevin Buzzard
Mathematician at Imperial College in London. Interested in number theory and theorem provers.
Lists
{username} has no public lists
Timeline
{username} has no activity yet