@PhdThesis{       lewis:phd,
  Author        = "Lewis, Robert Y.",
  date-added    = "2020-01-01 23:28:07 +0100",
  date-modified = "2020-01-01 23:32:13 +0100",
  Keywords      = "lean theorem prover",
  School        = "Carnegie Mellon University",
  Title         = "Two Tools for Formalizing Mathematical Proofs",
  Year          = "2018",
  File          = "Two Tools for Formalizing Mathematical Proofs - lewis\_dissertation - a - a - a - l.pdf"
}

@PhdThesis{ lewis:phd, Author = "Lewis, Robert Y.", date-added = "2020-01-01 23:28:07 +0100", date-modified = "2020-01-01 23:32:13 +0100", Keywords = "lean theorem prover", School = "Carnegie Mellon University", Title = "Two Tools for Formalizing Mathematical Proofs", Year = "2018", File = "Two Tools for Formalizing Mathematical Proofs - lewis_dissertation - a - a - a - l.pdf" }