org.aya-prover:parser 0.9

The Aya proof assistant

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

Download parser 0.9

Filename	Size
parser-0.9.pom
parser-0.9-sources.jar	37 KB
parser-0.9-javadoc.jar	361 KB