Download org.aya-prover JAR files with all dependencies

commonmark-ext-gfm-tables from group org.aya-prover (version 0.21.1)

Commonmark-java with JPMS support

Group: org.aya-prover Artifact: commonmark-ext-gfm-tables
Show all versions Show documentation Show source

0 downloads

Artifact commonmark-ext-gfm-tables
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-gfm-strikethrough from group org.aya-prover (version 0.21.1)

Commonmark-java with JPMS support

Group: org.aya-prover Artifact: commonmark-ext-gfm-strikethrough
Show all versions Show documentation Show source

0 downloads

Artifact commonmark-ext-gfm-strikethrough
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-autolink from group org.aya-prover (version 0.21.1)

Commonmark-java with JPMS support

Group: org.aya-prover Artifact: commonmark-ext-autolink
Show all versions Show documentation Show source

0 downloads

Artifact commonmark-ext-autolink
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 from group org.aya-prover (version 0.21.1)

Commonmark-java with JPMS support

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

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!

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

guest0x0-cubical from group org.aya-prover (version 0.13)

Guest0x0 programming language

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

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!

guest0x0-cli from group org.aya-prover (version 0.13)

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

0 downloads

Artifact guest0x0-cli
Group org.aya-prover
Version 0.13

guest0x0-base from group org.aya-prover (version 0.13)

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

0 downloads

Artifact guest0x0-base
Group org.aya-prover
Version 0.13

api from group org.aya-prover (version 0.15)

The Aya proof assistant

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

0 downloads

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, pretty,
There are maybe transitive dependencies!

Page 3 from 3 (items total 30)