cli

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

Скачать cli

Имя Файла	Размер
cli-0.18.pom
cli-0.18-sources.jar	13 KB
cli-0.18-javadoc.jar	194 KB
Обзор

Зависимости

compile (5)

Идентификатор библиотеки	Тип	Версия
org.aya-prover : base	jar	0.18
org.aya-prover : parser	jar	0.18
org.aya-prover : tools-repl	jar	0.18
com.google.code.gson : gson	jar	2.9.0
info.picocli : picocli	jar	4.6.3

runtime (2)

Идентификатор библиотеки	Тип	Версия
org.jline : jline-terminal-jansi	jar	3.21.0
org.jline : jline-builtins	jar	3.21.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 г.
0.11 3 нояб. 2021 г.
0.10 17 окт. 2021 г.
0.9 28 сент. 2021 г.
0.8.3 15 сент. 2021 г.