Last Version

base 0.18

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

Filename	Size
base-0.18.pom
base-0.18-sources.jar	203 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