org.aya-prover:tools 0.13

The Aya proof assistant

GroupId	org.aya-prover
ArtifactId	tools
Version	0.13
Type	pom.sha512

Download tools 0.13

Filename	Size
tools-0.13.pom
tools-0.13-sources.jar	16 KB
tools-0.13-javadoc.jar	208 KB