All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download org.aya-prover JAR files with all dependencies

Search JAR files by class name

tools-repl from group org.aya-prover (version 0.19)

The Aya proof assistant

Group: org.aya-prover Artifact: tools-repl
Show all versions Show documentation Show source 
 

0 downloads
Artifact tools-repl
Group org.aya-prover
Version 0.19
Last update 10. August 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 5
Dependencies pretty, tools, jline-reader, jline-terminal, antlr4-runtime,
There are maybe transitive dependencies!

tools from group org.aya-prover (version 0.19)

The Aya proof assistant

Group: org.aya-prover Artifact: tools
Show all versions Show documentation Show source 
 

0 downloads
Artifact tools
Group org.aya-prover
Version 0.19
Last update 10. August 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies annotations, kala-common, pretty,
There are maybe transitive dependencies!

pretty from group org.aya-prover (version 0.19)

The Aya proof assistant

Group: org.aya-prover Artifact: pretty
Show all versions Show documentation Show source 
 

0 downloads
Artifact pretty
Group org.aya-prover
Version 0.19
Last update 10. August 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies annotations, kala-common,
There are maybe transitive dependencies!

parser from group org.aya-prover (version 0.19)

The Aya proof assistant

Group: org.aya-prover Artifact: parser
Show all versions Show documentation Show source 
 

0 downloads
Artifact parser
Group org.aya-prover
Version 0.19
Last update 10. August 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 1
Dependencies antlr4-runtime,
There are maybe transitive dependencies!

lsp from group org.aya-prover (version 0.19)

The Aya proof assistant

Group: org.aya-prover Artifact: lsp
Show all versions Show documentation Show source 
 

0 downloads
Artifact lsp
Group org.aya-prover
Version 0.19
Last update 10. August 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies org.eclipse.lsp4j, org.eclipse.lsp4j.jsonrpc,
There are maybe transitive dependencies!

cli from group org.aya-prover (version 0.19)

The Aya proof assistant

Group: org.aya-prover Artifact: cli
Show all versions Show documentation Show source 
 

0 downloads
Artifact cli
Group org.aya-prover
Version 0.19
Last update 10. August 2022
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!

base from group org.aya-prover (version 0.19)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show all versions Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.19
Last update 10. August 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies tools, pretty,
There are maybe transitive dependencies!

cube-visualizer from group org.aya-prover (version 0.13.2)

Group: org.aya-prover Artifact: cube-visualizer
Show all versions Show documentation Show source 
 

0 downloads
Artifact cube-visualizer
Group org.aya-prover
Version 0.13.2


cube-compiler from group org.aya-prover (version 0.13.2)

Group: org.aya-prover Artifact: cube-compiler
Show all versions Show documentation Show source 
 

0 downloads
Artifact cube-compiler
Group org.aya-prover
Version 0.13.2


commonmark-ext-yaml-front-matter from group org.aya-prover (version 0.19.1)

Commonmark-java with JPMS support

Group: org.aya-prover Artifact: commonmark-ext-yaml-front-matter
Show all versions Show documentation Show source 
 

0 downloads
Artifact commonmark-ext-yaml-front-matter
Group org.aya-prover
Version 0.19.1
Last update 13. June 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 1 from 3 (items total 21)


© 2015 - 2021 Weber Informatics LLC