is not current version

Last Version 0.18 →

org.aya-prover:lsp 0.13

The Aya proof assistant

GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId lsp
Version	Version 0.13
Type	Type pom.sha512

Download lsp 0.13

Filename	Size
lsp-0.13.pom
lsp-0.13-sources.jar	15 KB
lsp-0.13-javadoc.jar	202 KB
Browse