A Natural Formalized Proof Language.

Lihan Xie, Zhicheng Hui, Qinxiang Cao

Browse the full TASE paper archive.