is not current version

Last Version 0.18 →

org.aya-prover:pretty 0.10

The Aya proof assistant

GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId pretty
Version	Version 0.10
Type	Type pom.sha512

Download pretty 0.10

Filename	Size
pretty-0.10.pom
pretty-0.10-sources.jar	26 KB
pretty-0.10-javadoc.jar	336 KB
Browse