guest0x0-cubical

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

Скачать guest0x0-cubical

Имя Файла	Размер
guest0x0-cubical-0.13.pom
guest0x0-cubical-0.13-sources.jar	5 KB
guest0x0-cubical-0.13-javadoc.jar	173 KB
Обзор

Зависимости

compile (1)

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

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

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

Версия
0.13 27 мая 2022 г.
0.12 16 мая 2022 г.
0.11 5 мая 2022 г.