lsp

The Aya proof assistant

License	MIT
GroupId	org.aya-prover
ArtifactId	lsp
Last Version	0.18
Release Date	May 11, 2022
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

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

Dependencies

runtime (3)

Group / Artifact	Type	Version
org.aya-prover : cli	jar	0.18
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.

Versions

Version
0.18 May 11, 2022
0.17 Apr 8, 2022
0.16 Mar 27, 2022
0.15 Jan 11, 2022
0.14 Dec 6, 2021
0.13 Nov 20, 2021
0.12 Nov 13, 2021