guest0x0-cubical 0.13

Guest0x0 programming language

License	GPL-3.0
GroupId	org.aya-prover
ArtifactId	guest0x0-cubical
Version	0.13
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 0.13

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.