Download org.aya-prover JAR files with all dependencies
ide from group org.aya-prover (version 0.33.0)
The Aya proof assistant
Artifact ide
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 1
Dependencies cli-impl,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 1
Dependencies cli-impl,
There are maybe transitive dependencies!
cli-impl from group org.aya-prover (version 0.33.0)
The Aya proof assistant
0 downloads
Artifact cli-impl
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!
cli-console from group org.aya-prover (version 0.33.0)
The Aya proof assistant
0 downloads
Artifact cli-console
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies tools-repl, cli-impl,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies tools-repl, cli-impl,
There are maybe transitive dependencies!
base from group org.aya-prover (version 0.33.0)
The Aya proof assistant
Artifact base
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!
lsp from group org.aya-prover (version 0.27)
The Aya proof assistant
Artifact lsp
Group org.aya-prover
Version 0.27
Last update 14. January 2023
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies ide, javacs-protocol,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.27
Last update 14. January 2023
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies ide, javacs-protocol,
There are maybe transitive dependencies!
cli from group org.aya-prover (version 0.27)
The Aya proof assistant
Artifact cli
Group org.aya-prover
Version 0.27
Last update 14. January 2023
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 5
Dependencies base, parser, tools-repl, gson, picocli,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.27
Last update 14. January 2023
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 5
Dependencies base, parser, tools-repl, gson, picocli,
There are maybe transitive dependencies!
commonmark-ext-yaml-front-matter from group org.aya-prover (version 0.21.1)
Commonmark-java with JPMS support
Group: org.aya-prover Artifact: commonmark-ext-yaml-front-matter
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact commonmark-ext-yaml-front-matter
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
commonmark-ext-task-list-items from group org.aya-prover (version 0.21.1)
Commonmark-java with JPMS support
Group: org.aya-prover Artifact: commonmark-ext-task-list-items
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact commonmark-ext-task-list-items
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
commonmark-ext-image-attributes from group org.aya-prover (version 0.21.1)
Commonmark-java with JPMS support
Group: org.aya-prover Artifact: commonmark-ext-image-attributes
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact commonmark-ext-image-attributes
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
commonmark-ext-heading-anchor from group org.aya-prover (version 0.21.1)
Commonmark-java with JPMS support
Group: org.aya-prover Artifact: commonmark-ext-heading-anchor
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact commonmark-ext-heading-anchor
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.21.1
Last update 09. December 2022
Organization not specified
URL https://www.aya-prover.org
License BSD 2-Clause License
Dependencies amount 1
Dependencies commonmark,
There are maybe transitive dependencies!
Page 2 from 3 (items total 30)