@misc{indiciae2e5b07813cdd,
  title = {Mechanising Gödel-Löb provability logic in HOL Light},
  author = {Marco Maggesi and Cosimo Perini Brogi},
  year = {2023},
  doi = {10.1007/s10817-023-09677-z},
  url = {https://arxiv.org/abs/2205.03659},
  note = {Source identifier: 2205.03659}
}