tools-repl

License	License MIT
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId tools-repl
Last Version	Last Version 0.18
Release Date	Release Date May 11, 2022
Type	Type pom.sha512
Description	Description tools-repl 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 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
Browse

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

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