api

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

Скачать api

Имя Файла	Размер
api-0.15.pom
api-0.15-sources.jar	17 KB
api-0.15-javadoc.jar	238 KB
Обзор

Зависимости

compile (3)

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

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

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

Версия
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 г.
0.8.2 15 авг. 2021 г.
0.8.1 5 авг. 2021 г.