A Natural Formalized Proof Language. - Lihan Xie; Zhicheng Hui; Qinxiang Cao (TASE, 2024)