Last Version 0.18 →

pretty 0.17

License	License MIT
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId pretty
Version	Version 0.17
Type	Type pom.sha512
Description	Description pretty 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 pretty 0.17

Filename	Size
pretty-0.17.pom
pretty-0.17-sources.jar	27 KB
pretty-0.17-javadoc.jar	339 KB
Browse

Dependencies

compile (2)

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

Project Modules