@Misc{            buzzard,
  Author        = "Buzzard, Kevin",
  date-added    = "2020-01-01 23:34:02 +0100",
  date-modified = "2020-01-01 23:35:01 +0100",
  Keywords      = "lean theorem prover",
  Month         = "September",
  Title         = "Computers and Mathematics",
  Year          = "2019",
  File          = "NLMS\_484-forweb2 - a - a - a - u.pdf",
  file-2        = "The-Future-of-Mathematics-SLIDES - a - a - a - u.pdf"
}

@Misc{ buzzard, Author = "Buzzard, Kevin", date-added = "2020-01-01 23:34:02 +0100", date-modified = "2020-01-01 23:35:01 +0100", Keywords = "lean theorem prover", Month = "September", Title = "Computers and Mathematics", Year = "2019", File = "NLMS_484-forweb2 - a - a - a - u.pdf", file-2 = "The-Future-of-Mathematics-SLIDES - a - a - a - u.pdf" }