guest0x0-base

Лицензия	Лицензия GPL-3.0
Группа	Группа org.aya-prover
Идентификатор	Идентификатор guest0x0-base
Последняя версия	Последняя версия 0.13
Дата	Дата 27 мая 2022 г.
Тип	Тип pom.sha512
Описание	Описание guest0x0-base Guest0x0 programming language
Ссылка на сайт	Ссылка на сайт https://www.aya-prover.org
Система контроля версий	Система контроля версий https://github.com/ice1000/guest0x0

Скачать guest0x0-base

Имя Файла	Размер
guest0x0-base-0.13.pom
guest0x0-base-0.13-sources.jar	20 KB
guest0x0-base-0.13-javadoc.jar	326 KB
Обзор

Зависимости

compile (2)

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

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

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

Версия
0.13 27 мая 2022 г.
0.12 16 мая 2022 г.
0.11 5 мая 2022 г.
0.10 4 мая 2022 г.
0.9 29 апр. 2022 г.
0.8 15 апр. 2022 г.
0.7 14 апр. 2022 г.
0.6 12 апр. 2022 г.
0.5 11 апр. 2022 г.
0.4 10 апр. 2022 г.
0.3 9 апр. 2022 г.
0.2 8 апр. 2022 г.