Last Version 0.18 →

tools 0.14

License	License MIT
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId tools
Version	Version 0.14
Type	Type pom.sha512
Description	Description tools 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 tools 0.14

Filename	Size
tools-0.14.pom
tools-0.14-sources.jar	19 KB
tools-0.14-javadoc.jar	220 KB
Browse

Dependencies

compile (3)

Group / Artifact	Type	Version
org.jetbrains : annotations	jar	23.0.0
org.glavo » kala-common	jar	0.30.0
org.aya-prover : pretty	jar	0.14

Project Modules