All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download the Aya Prover Source Code as a JAR file


    Welcome to the download page for the Aya Prover Source Code JAR file. Here, you can obtain the JAR file of Aya Prover, which contains all the necessary resources and libraries needed for integration into your own projects. By downloading and including this file in your development environment, you can seamlessly utilize the powerful features and functionalities of Aya Prover. Get started with your download now!

    Files of the artifact api version 0.15 from the group org.aya-prover.

    Test

    Artifact api
    Group org.aya-prover
    Version 0.15
    Last update 11. January 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 3
    Dependencies annotations, kala-common, pretty,
    There are maybe transitive dependencies!
    The newest version!
    Show more of this group  Show more artifacts with this name
    Show all versions of api Show documentation

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

    0 downloads

    Source code of api version 0.15





    © 2015 - 2025 Weber Informatics LLC | Privacy Policy