Реализация языкового сервера для интерактивного доказателя теорем Rzk

Реализация языкового сервера для интерактивного доказателя теорем Rzk
Язык статьиАнглийский
Аннотация

В статье представлена текущая реализация языкового сервера для интерактивного доказателя теорем Rzk. Она анализирует соответствующие технологии, связанные с языковым сервером Protocol, расширениями VS Code и доказателями теорем, и как на их основе строится языковая поддержка для Rzk.

DOI10.31144/si.2307-6410.2023.n22.p45-50
УДК004.4’232
Номер № 22,
Страницы45-50
Файл abounegmkudasov2023_0.pdf (485.63 КБ)
Библиографическая ссылка
Абунегм А., Кудасов Н.Д. Реализация языкового сервера для интерактивного доказателя теорем Rzk // Системная информатика, 2023. – № 22. – С. 45-50. – DOI: https://doi.org/10.31144/si.2307-6410.2023.n22.p45-50.