Yevdokymov, Oleksandr, and Oksana Luchsheva. “A Mathematical Model of Automatic Verification of Formalized Proofs and a Conservative Presentation Interface over Lean”. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» 69 (March 30, 2026): 33-40. Accessed May 23, 2026. https://periodicals.karazin.ua/mia/article/view/29403.