is not current version

Last Version 0.18 →

org.aya-prover:base 0.8.3

The Aya proof assistant

GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId base
Version	Version 0.8.3
Type	Type pom.sha512

Download base 0.8.3

Filename	Size
base-0.8.3.pom
base-0.8.3-sources.jar	174 KB
base-0.8.3-javadoc.jar	1 MB
Browse