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