guest0x0-base

Guest0x0 programming language

License	GPL-3.0
GroupId	org.aya-prover
ArtifactId	guest0x0-base
Last Version	0.13
Release Date	May 27, 2022
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

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.

Versions

Version
0.13 May 27, 2022
0.12 May 16, 2022
0.11 May 5, 2022
0.10 May 4, 2022
0.9 Apr 29, 2022
0.8 Apr 15, 2022
0.7 Apr 14, 2022
0.6 Apr 12, 2022
0.5 Apr 11, 2022
0.4 Apr 10, 2022
0.3 Apr 9, 2022
0.2 Apr 8, 2022