TY  - RPRT
TI  - Formalization of PAL$\cdot$S5 in Proof Assistant
AU  - Jiatu Li
PY  - 2020
UR  - https://arxiv.org/abs/2012.09388
ID  - 2012.09388
ER  -