TY  - RPRT
TI  - Mechanising Gödel-Löb provability logic in HOL Light
AU  - Marco Maggesi
AU  - Cosimo Perini Brogi
PY  - 2023
DO  - 10.1007/s10817-023-09677-z
UR  - https://arxiv.org/abs/2205.03659
ID  - 2205.03659
ER  -