tools-repl

The Aya proof assistant

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

Download tools-repl

Filename	Size
tools-repl-0.18.pom
tools-repl-0.18-sources.jar	10 KB
tools-repl-0.18-javadoc.jar	187 KB

Dependencies

compile (5)

Group / Artifact	Type	Version
org.aya-prover : pretty	jar	0.18
org.aya-prover : tools	jar	0.18
org.jline : jline-reader	jar	3.21.0
org.jline : jline-terminal	jar	3.21.0
org.antlr : antlr4-runtime	jar	4.9.3

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