- Seoul, KR
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Lokathor
Lokathor
You should use the amazing new trio-license:
Zlib OR Apache-2.0 OR MIT
@rust-console, @rust-tutorials United States