base

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

Скачать base

Имя Файла	Размер
base-0.18.pom
base-0.18-sources.jar	153 KB
base-0.18-javadoc.jar	1 MB
Обзор

Зависимости

compile (2)

Идентификатор библиотеки	Тип	Версия
org.aya-prover : tools	jar	0.18
org.aya-prover : pretty	jar	0.18

runtime (1)

Идентификатор библиотеки	Тип	Версия
org.aya-prover : commonmark	jar	0.18.1

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

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

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