guest0x0-cubical

Guest0x0 programming language

License	GPL-3.0
GroupId	org.aya-prover
ArtifactId	guest0x0-cubical
Last Version	0.13
Release Date	May 27, 2022
Type	pom.sha512
Description	guest0x0-cubical Guest0x0 programming language
Project URL	https://www.aya-prover.org
Source Code Management	https://github.com/ice1000/guest0x0

Download guest0x0-cubical

Filename	Size
guest0x0-cubical-0.13.pom
guest0x0-cubical-0.13-sources.jar	5 KB
guest0x0-cubical-0.13-javadoc.jar	173 KB

Dependencies

compile (1)

Group / Artifact	Type	Version
org.aya-prover : pretty	jar	0.18

Project Modules

There are no modules declared in this project.

Versions

Version
0.13 May 27, 2022
0.12 May 16, 2022
0.11 May 5, 2022