Download all versions of base JAR files with all dependencies

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

The Aya proof assistant

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

0 downloads

Artifact base
Group org.aya-prover
Version 0.11
Last update 03. November 2021
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads

Artifact base
Group org.aya-prover
Version 0.10
Last update 17. October 2021
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads

Artifact base
Group org.aya-prover
Version 0.9
Last update 28. September 2021
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads

Artifact base
Group org.aya-prover
Version 0.8.3
Last update 15. September 2021
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads

Artifact base
Group org.aya-prover
Version 0.8.2
Last update 15. August 2021
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads

Artifact base
Group org.aya-prover
Version 0.8.1
Last update 05. August 2021
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

Page 4 from 4 (items total 36)