pretty

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

Скачать pretty

Имя Файла	Размер
pretty-0.18.pom
pretty-0.18-sources.jar	26 KB
pretty-0.18-javadoc.jar	328 KB
Обзор

Зависимости

compile (2)

Идентификатор библиотеки	Тип	Версия
org.jetbrains : annotations	jar	23.0.0
org.glavo.kala : kala-common	jar	0.38.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 г.
0.8.2 15 авг. 2021 г.
0.8.1 5 авг. 2021 г.