tools-repl

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

Скачать tools-repl

Имя Файла	Размер
tools-repl-0.18.pom
tools-repl-0.18-sources.jar	10 KB
tools-repl-0.18-javadoc.jar	187 KB
Обзор

Зависимости

compile (5)

Идентификатор библиотеки	Тип	Версия
org.aya-prover : pretty	jar	0.18
org.aya-prover : tools	jar	0.18
org.jline : jline-reader	jar	3.21.0
org.jline : jline-terminal	jar	3.21.0
org.antlr : antlr4-runtime	jar	4.9.3

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

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

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