Yevdokymov O, Luchsheva O. A Mathematical Model of Automatic Verification of Formalized Proofs and a Conservative Presentation Interface over Lean. МІА [Internet]. 2026Mar.30 [cited 2026May23];69:33-0. Available from: https://periodicals.karazin.ua/mia/article/view/29403