base

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

Filename	Size
base-0.18.pom
base-0.18-sources.jar	153 KB
base-0.18-javadoc.jar	1 MB
Browse

Dependencies

compile (2)

Group / Artifact	Type	Version
org.aya-prover : tools	jar	0.18
org.aya-prover : pretty	jar	0.18

runtime (1)

Group / Artifact	Type	Version
org.aya-prover : commonmark	jar	0.18.1

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
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