«Математична модель автоматичної верифікації формалізованих доказів і консервативний інтерфейс представлення в Lean». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» 69 (Березень 30, 2026): 33–40. дата звернення Жовтень 24, 2026. https://periodicals.karazin.ua/mia/article/view/29403.