Kevin Buzzard is professor for pure mathematics at Imperial College London.
on Xena: formal proof and proof assistants (specifically Lean) in undergaduate mathematics courses
Last revised on May 20, 2019 at 03:09:39. See the history of this page for a list of all contributions to it.