is not current version

Last Version 0.15 →

org.aya-prover:api 0.8.3

The Aya proof assistant

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

Download api 0.8.3

Filename	Size
api-0.8.3.pom
api-0.8.3-sources.jar	18 KB
api-0.8.3-javadoc.jar	250 KB
Browse