Математична модель автоматичної верифікації формалізованих доказів і консервативний інтерфейс представлення в Lean. МІА [інтернет]. 30, Березень 2026 [цит. за 25, Жовтень 2026];69:33-40. доступний у: https://periodicals.karazin.ua/mia/article/view/29403