@misc{https://doi.org/10.4121/6f239149-2526-42a0-8d07-d0e9d6714f7f.v2,
  doi = {10.4121/6f239149-2526-42a0-8d07-d0e9d6714f7f.v2},
  url = {},
  author = {Liesnikov, Bohdan and Cockx, Jesper},
  keywords = {dependent types, core language, type theory, typechecking, type-checking},
  title = {Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language},
  publisher = {4TU.ResearchData},
  year = {2024},
  copyright = {CC0},
}