@Unpublished{     avigad,
  Author        = "Avigad, Jeremy",
  date-added    = "2020-01-01 23:02:09 +0100",
  date-modified = "2020-01-01 23:02:33 +0100",
  Title         = "Learning Logic and Proof with an Interactive Theorem Prover",
  Year          = "2018",
  File          = "Learning Logic and Proof with an Interactive Theorem Prover - learning\_logic\_and\_proof - a - a - a - b.pdf"
}

@Unpublished{ avigad, Author = "Avigad, Jeremy", date-added = "2020-01-01 23:02:09 +0100", date-modified = "2020-01-01 23:02:33 +0100", Title = "Learning Logic and Proof with an Interactive Theorem Prover", Year = "2018", File = "Learning Logic and Proof with an Interactive Theorem Prover - learning_logic_and_proof - a - a - a - b.pdf" }