parser 0.8.2

The Aya proof assistant

License	GPL-3.0
GroupId	org.aya-prover
ArtifactId	parser
Version	0.8.2
Type	pom.sha512
Description	parser The Aya proof assistant
Project URL	https://www.aya-prover.org
Source Code Management	https://github.com/aya-prover/aya-dev

Download parser 0.8.2

Filename	Size
parser-0.8.2.pom
parser-0.8.2-sources.jar	38 KB
parser-0.8.2-javadoc.jar	356 KB

Dependencies

compile (1)

Group / Artifact	Type	Version
org.antlr : antlr4-runtime	jar	4.9.2

Project Modules

There are no modules declared in this project.