TY  - RPRT
TI  - Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs
AU  - Tadd Mao
AU  - Tianjun Zhong
AU  - Dhruva Arekar
AU  - Yuming Feng
AU  - One An
AU  - Jiani Huang
AU  - Xujie Si
AU  - Ziyang Li
PY  - 2026
UR  - https://arxiv.org/abs/2608.15432
ID  - 2608.15432
ER  -