lsp

Лицензия	Лицензия MIT
Группа	Группа org.aya-prover
Идентификатор	Идентификатор lsp
Последняя версия	Последняя версия 0.18
Дата	Дата 11 мая 2022 г.
Тип	Тип pom.sha512
Описание	Описание lsp The Aya proof assistant
Ссылка на сайт	Ссылка на сайт https://www.aya-prover.org
Система контроля версий	Система контроля версий https://github.com/aya-prover/aya-dev

Скачать lsp

Имя Файла	Размер
lsp-0.18.pom
lsp-0.18-sources.jar	15 KB
lsp-0.18-javadoc.jar	202 KB
Обзор

Зависимости

runtime (3)

Идентификатор библиотеки	Тип	Версия
org.aya-prover : cli	jar	0.18
org.eclipse.lsp4j : org.eclipse.lsp4j	jar	0.12.0
org.eclipse.lsp4j : org.eclipse.lsp4j.jsonrpc	jar	0.12.0

Модули Проекта

Версии библиотеки

Версия
0.18 11 мая 2022 г.
0.17 8 апр. 2022 г.
0.16 27 мар. 2022 г.
0.15 11 янв. 2022 г.
0.14 6 дек. 2021 г.
0.13 20 нояб. 2021 г.
0.12 13 нояб. 2021 г.