Last Version 0.18 →

parser 0.12

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

Download parser 0.12

Filename	Size
parser-0.12.pom
parser-0.12-sources.jar	38 KB
parser-0.12-javadoc.jar	374 KB
Browse

Dependencies

compile (1)

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

Project Modules