@misc{https://doi.org/10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7.v2,
  doi = {10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7.v2},
  url = {},
  author = {Juhošová, Sára},
  keywords = {formal verification, theorem proving, transpilation, Agda, Haskell, Agda2HS, usability},
  title = {Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems},
  publisher = {4TU.ResearchData},
  year = {2023},
  copyright = {CC0},
}