Реализация языкового сервера для интерактивного доказателя теорем 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.