Yevdokymov, O.; Luchsheva, O. A Mathematical Model of Automatic Verification of Formalized Proofs and a Conservative Presentation Interface over Lean. МІА 2026, 69, 33-40.