pretty 0.14

The Aya proof assistant

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

Download pretty 0.14

Filename	Size
pretty-0.14.pom
pretty-0.14-sources.jar	27 KB
pretty-0.14-javadoc.jar	337 KB

Dependencies

compile (2)

Group / Artifact	Type	Version
org.jetbrains : annotations	jar	23.0.0
org.glavo » kala-common	jar	0.30.0

Project Modules

There are no modules declared in this project.