guest0x0-cli 0.8

Guest0x0 programming language

License	GPL-3.0
Categories	CLI User Interface
GroupId	org.aya-prover
ArtifactId	guest0x0-cli
Version	0.8
Type	pom.sha512
Description	guest0x0-cli Guest0x0 programming language
Project URL	https://www.aya-prover.org
Source Code Management	https://github.com/ice1000/guest0x0

Download guest0x0-cli 0.8

Filename	Size
guest0x0-cli-0.8.pom
guest0x0-cli-0.8-sources.jar	18 KB
guest0x0-cli-0.8-javadoc.jar	231 KB

Dependencies

compile (2)

Group / Artifact	Type	Version
org.antlr : antlr4-runtime	jar	4.9.3
info.picocli : picocli	jar	4.6.3

runtime (2)

Group / Artifact	Type	Version
org.aya-prover : guest0x0-base	jar	0.8
org.aya-prover : tools-repl	jar	0.17

Project Modules

There are no modules declared in this project.