Download all versions of tools-kala JAR files with all dependencies

tools-kala from group org.aya-prover (version 0.35.0)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.35.0
Last update 08. December 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.34.0)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.33.0)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.32.0)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.32.0
Last update 03. June 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.31.0)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.31.0
Last update 29. May 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.30.0)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.30.0
Last update 04. January 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.29.999)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.29.999
Last update 13. December 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

tools-kala from group org.aya-prover (version 0.29.4)

The Aya proof assistant

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

0 downloads

Artifact tools-kala
Group org.aya-prover
Version 0.29.4
Last update 13. December 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!

Page 1 from 1 (items total 8)