Last Version 0.15 →

api 0.8.2

License	License GPL-3.0
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId api
Version	Version 0.8.2
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 0.8.2

Filename	Size
api-0.8.2.pom
api-0.8.2-sources.jar	18 KB
api-0.8.2-javadoc.jar	247 KB
Browse

Dependencies

compile (3)

Group / Artifact	Type	Version
org.jetbrains : annotations	jar	21.0.1
org.glavo » kala-common	jar	0.23.0
org.aya-prover : pretty	jar	0.8.2

Project Modules