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