guest0x0-base 0.13

Guest0x0 programming language

License	GPL-3.0
GroupId	org.aya-prover
ArtifactId	guest0x0-base
Version	0.13
Type	pom.sha512
Description	guest0x0-base Guest0x0 programming language
Project URL	https://www.aya-prover.org
Source Code Management	https://github.com/ice1000/guest0x0

Download guest0x0-base 0.13

Filename	Size
guest0x0-base-0.13.pom
guest0x0-base-0.13-sources.jar	20 KB
guest0x0-base-0.13-javadoc.jar	326 KB

Dependencies

compile (2)

Group / Artifact	Type	Version
org.aya-prover : tools	jar	0.18
org.aya-prover : guest0x0-cubical	jar	0.13

Project Modules

There are no modules declared in this project.