api

The Aya proof assistant

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

Download api

Filename	Size
api-0.15.pom
api-0.15-sources.jar	17 KB
api-0.15-javadoc.jar	238 KB

Dependencies

compile (3)

Group / Artifact	Type	Version
org.jetbrains : annotations	jar	23.0.0
org.glavo » kala-common	jar	0.34.0
org.aya-prover : tools	jar	0.15

Project Modules

There are no modules declared in this project.

Versions

Version
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
0.8.2 Aug 15, 2021
0.8.1 Aug 5, 2021