base 0.14

The Aya proof assistant

License	MIT
GroupId	org.aya-prover
ArtifactId	base
Version	0.14
Type	pom.sha512
Description	base The Aya proof assistant
Project URL	https://www.aya-prover.org
Source Code Management	https://github.com/aya-prover/aya-dev

Download base 0.14

Filename	Size
base-0.14.pom
base-0.14-sources.jar	193 KB
base-0.14-javadoc.jar	1 MB

Dependencies

compile (4)

Group / Artifact	Type	Version
org.aya-prover : api	jar	0.14
org.aya-prover : tools	jar	0.14
org.aya-prover : pretty	jar	0.14
org.aya-prover : parser	jar	0.14

runtime (1)

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

Project Modules

There are no modules declared in this project.