@TechReport{      ZalakainBSc,
  Author        = "Zalakain, Uma",
  date-added    = "2020-11-17 23:28:20 +0100",
  date-modified = "2020-11-17 23:28:48 +0100",
  Title         = "Evidence-providing problem solvers in Agda",
  File          = "Evidence-providing problem solvers in Agda - report - a - y.pdf"
}

@TechReport{ ZalakainBSc, Author = "Zalakain, Uma", date-added = "2020-11-17 23:28:20 +0100", date-modified = "2020-11-17 23:28:48 +0100", Title = "Evidence-providing problem solvers in Agda", File = "Evidence-providing problem solvers in Agda - report - a - y.pdf" }