Download lsp JAR 0.27 with all dependencies

The Aya proof assistant

Files of the artifact lsp version 0.27 from the group org.aya-prover.

Test

Artifact lsp
Group org.aya-prover
Version 0.27
Last update 14. January 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of lsp Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of lsp version 0.27

Please wait ...