@Misc{            moura-slides,
  Author        = "Lewis, Robert Y. and de Moura, Leonardo",
  date-added    = "2020-01-01 23:15:37 +0100",
  date-modified = "2020-01-01 23:16:22 +0100",
  HowPublished  = "slides",
  Keywords      = "lean theorem prover",
  Title         = "Automation and Computation in the Lean Theorem Prover",
  Year          = "2016",
  File          = "Automation and Computation in the Lean Theorem Prover - aitp\_slides - a - a - a - s.pdf",
  file-2        = "Automation and Computation in the Lean Theorem Prover - HaTT\_2016\_paper\_7-5 - a - a - a - s.pdf"
}

@Misc{ moura-slides, Author = "Lewis, Robert Y. and de Moura, Leonardo", date-added = "2020-01-01 23:15:37 +0100", date-modified = "2020-01-01 23:16:22 +0100", HowPublished = "slides", Keywords = "lean theorem prover", Title = "Automation and Computation in the Lean Theorem Prover", Year = "2016", File = "Automation and Computation in the Lean Theorem Prover - aitp_slides - a - a - a - s.pdf", file-2 = "Automation and Computation in the Lean Theorem Prover - HaTT_2016_paper_7-5 - a - a - a - s.pdf" }