guest0x0-cubical

License	License GPL-3.0
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId guest0x0-cubical
Last Version	Last Version 0.13
Release Date	Release Date May 27, 2022
Type	Type pom.sha512
Description	Description guest0x0-cubical Guest0x0 programming language
Project URL	Project URL https://www.aya-prover.org
Source Code Management	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
Browse

Dependencies

compile (1)

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

Project Modules

Versions

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