URL details: www.imperial.ac.uk/people/k.buzzard/#abstract-text-1
URL title:
Home - Professor Kevin Buzzard
URL description:
My background is in algebraic number theory, although recently I have started to work in the area of formal proof verification. I believe
URL last crawled:
2022-05-27
URL speed:
55.600 MB/s,
downloaded in 0.001 seconds
We found no external links pointing to this url.