«Математична модель автоматичної верифікації формалізованих доказів і консервативний інтерфейс представлення в Lean», МІА, вип. 69, с. 33–40, Бер 2026, doi: 10.26565/2304-6201-2026-69-03.