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