lsp 0.12

The Aya proof assistant

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

Download lsp 0.12

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

Dependencies

runtime (3)

Group / Artifact	Type	Version
org.aya-prover : cli	jar	0.12
org.eclipse.lsp4j : org.eclipse.lsp4j	jar	0.12.0
org.eclipse.lsp4j : org.eclipse.lsp4j.jsonrpc	jar	0.12.0

Project Modules

There are no modules declared in this project.