1. Yevdokymov O., Luchsheva O. 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». 2026. (69). C. 33-40.