api

License	License MIT
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId api
Last Version	Last Version 0.15
Release Date	Release Date Jan 11, 2022
Type	Type pom.sha512
Description	Description api 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 api

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

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

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