@misc{indiciae6819a6cb0a25,
  title = {The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code)},
  author = {Dominic P. Mulligan and Nick Spinale},
  year = {2022},
  url = {https://arxiv.org/abs/2205.03332},
  note = {Source identifier: 2205.03332}
}