TY  - RPRT
TI  - Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding
AU  - Zhongye Wang
AU  - Qinxiang Cao
AU  - Yichen Tao
PY  - 2023
UR  - https://arxiv.org/abs/2310.17616
ID  - 2310.17616
ER  -