Kevin Buzzard is professor for pure mathematics at Imperial College London.
on formal proof and proof assistants (specifically Lean) in undergaduate mathematics courses
Last revised on January 7, 2019 at 08:35:02. See the history of this page for a list of all contributions to it.