Mathematician at Imperial College in London. Interested in number theory and theorem provers.
Profile Code
nprofile1qqsxprwhkg4du72tph0znjuyel7kn0ulnn28wqpwswpqd35vk7v7ewqpzemhxue69uhhyetvv9ujuurjd9kkzmpwdejhgqg5waehxw309aex2mrp0yhxgctdw4eju6t07nvc4x