Download tools JAR 0.34.0 with all dependencies

The Aya proof assistant

Files of the artifact tools version 0.34.0 from the group org.aya-prover.

Test

Artifact tools
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 3
Dependencies annotations, kala-collection, pretty,
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of tools Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of tools version 0.34.0

Please wait ...