@mastersthesis{VerifiedEncodingsThesis,
  author  = {Cayden R. Codel},
  school  = {Carnegie Mellon University},
  title   = { Verifying {SAT} Encodings in {Lean} },
  year    = {2022},
  month   = {May}
}