parser

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

Скачать parser

Имя Файла	Размер
parser-0.18.pom
parser-0.18-sources.jar	38 KB
parser-0.18-javadoc.jar	352 KB
Обзор

Зависимости

compile (1)

Идентификатор библиотеки	Тип	Версия
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 г.
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 г.