Download org.aya-prover JAR files with all dependencies
commonmark from group org.aya-prover (version 0.21.1)
Commonmark-java with JPMS support
0 downloads
Artifact commonmark
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 0
Dependencies No dependencies
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 0
Dependencies No dependencies
There are maybe transitive dependencies!
cube-visualizer from group org.aya-prover (version 0.13.2)
Guest0x0 programming language
0 downloads
Artifact cube-visualizer
Group org.aya-prover
Version 0.13.2
Last update 20. June 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies cube-compiler,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.13.2
Last update 20. June 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies cube-compiler,
There are maybe transitive dependencies!
cube-compiler from group org.aya-prover (version 0.13.2)
Guest0x0 programming language
0 downloads
Artifact cube-compiler
Group org.aya-prover
Version 0.13.2
Last update 20. June 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies annotations,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.13.2
Last update 20. June 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies annotations,
There are maybe transitive dependencies!
guest0x0-cubical from group org.aya-prover (version 0.13)
Guest0x0 programming language
0 downloads
Artifact guest0x0-cubical
Group org.aya-prover
Version 0.13
Last update 26. May 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies pretty,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.13
Last update 26. May 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies pretty,
There are maybe transitive dependencies!
guest0x0-cli from group org.aya-prover (version 0.13)
Guest0x0 programming language
0 downloads
Artifact guest0x0-cli
Group org.aya-prover
Version 0.13
Last update 26. May 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 2
Dependencies antlr4-runtime, picocli,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.13
Last update 26. May 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 2
Dependencies antlr4-runtime, picocli,
There are maybe transitive dependencies!
guest0x0-base from group org.aya-prover (version 0.13)
Guest0x0 programming language
0 downloads
Artifact guest0x0-base
Group org.aya-prover
Version 0.13
Last update 26. May 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 2
Dependencies tools, guest0x0-cubical,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.13
Last update 26. May 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 2
Dependencies tools, guest0x0-cubical,
There are maybe transitive dependencies!
api from group org.aya-prover (version 0.15)
The Aya proof assistant
Artifact api
Group org.aya-prover
Version 0.15
Last update 11. January 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies annotations, kala-common, tools,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.15
Last update 11. January 2022
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies annotations, kala-common, tools,
There are maybe transitive dependencies!
Page 3 from 3 (items total 27)