org.aya-prover:parser 0.10

The Aya proof assistant

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

Download parser 0.10

Filename	Size
parser-0.10.pom
parser-0.10-sources.jar	36 KB
parser-0.10-javadoc.jar	359 KB