api 0.15

The Aya proof assistant

License	MIT
GroupId	org.aya-prover
ArtifactId	api
Version	0.15
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 0.15

Filename	Size
api-0.15.pom
api-0.15-sources.jar	15 KB
api-0.15-javadoc.jar	231 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.