cli

The Aya proof assistant

License	MIT
Categories	CLI User Interface
GroupId	org.aya-prover
ArtifactId	cli
Last Version	0.18
Release Date	May 11, 2022
Type	pom.sha512
Description	cli The Aya proof assistant
Project URL	https://www.aya-prover.org
Source Code Management	https://github.com/aya-prover/aya-dev

Download cli

Filename	Size
cli-0.18.pom
cli-0.18-sources.jar	13 KB
cli-0.18-javadoc.jar	194 KB

Dependencies

compile (5)

Group / Artifact	Type	Version
org.aya-prover : base	jar	0.18
org.aya-prover : parser	jar	0.18
org.aya-prover : tools-repl	jar	0.18
com.google.code.gson : gson	jar	2.9.0
info.picocli : picocli	jar	4.6.3

runtime (2)

Group / Artifact	Type	Version
org.jline : jline-terminal-jansi	jar	3.21.0
org.jline : jline-builtins	jar	3.21.0

Project Modules

There are no modules declared in this project.

Versions

Version
0.18 May 11, 2022
0.17 Apr 8, 2022
0.16 Mar 27, 2022
0.15 Jan 11, 2022
0.14 Dec 6, 2021
0.13 Nov 20, 2021
0.12 Nov 13, 2021
0.11 Nov 3, 2021
0.10 Oct 17, 2021
0.9 Sep 28, 2021
0.8.3 Sep 15, 2021