@Manual{          lean,
  Author        = "Avigad, Jeremy and de Moura, Leonardo and Roesch, Jared",
  date-added    = "2020-01-01 23:32:32 +0100",
  date-modified = "2020-01-01 23:33:18 +0100",
  Title         = "Programming in Lean",
  Year          = "2016",
  File          = "Programming in Lean - a - a - a - t.pdf"
}

@Manual{ lean, Author = "Avigad, Jeremy and de Moura, Leonardo and Roesch, Jared", date-added = "2020-01-01 23:32:32 +0100", date-modified = "2020-01-01 23:33:18 +0100", Title = "Programming in Lean", Year = "2016", File = "Programming in Lean - a - a - a - t.pdf" }