Kevin Buzzard is professor for pure mathematics at Imperial College London.
On Xena, formal proof and proof assistants (specifically Lean) in undergaduate mathematics courses:
On formalizing perfectoid spaces in Lean:
On equality:
Last revised on August 23, 2026 at 00:27:56. See the history of this page for a list of all contributions to it.