tools

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

Скачать tools

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

Зависимости

compile (3)

Идентификатор библиотеки	Тип	Версия
org.jetbrains : annotations	jar	23.0.0
org.glavo.kala : kala-common	jar	0.38.0
org.aya-prover : pretty	jar	0.18

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

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

Версия
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 г.