Last Version 0.18 →

cli 0.12

License	License MIT
Categories	Categories CLI User Interface
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId cli
Version	Version 0.12
Type	Type pom.sha512
Description	Description cli The Aya proof assistant
Project URL	Project URL https://www.aya-prover.org
Source Code Management	Source Code Management https://github.com/aya-prover/aya-dev

Download cli 0.12

Filename	Size
cli-0.12.pom
cli-0.12-sources.jar	29 KB
cli-0.12-javadoc.jar	312 KB
Browse

Dependencies

compile (3)

Group / Artifact	Type	Version
org.aya-prover : base	jar	0.12
com.google.code.gson : gson	jar	2.8.7
info.picocli : picocli	jar	4.6.2

runtime (4)

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

Project Modules