All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download all versions of ide JAR files with all dependencies


    ide from group org.aya-prover (version 0.29.2)

    The Aya proof assistant

    Group: org.aya-prover Artifact: ide
    Show documentation Show source 
    Download ide.jar (0.29.2)
     

    0 downloads
    Artifact ide
    Group org.aya-prover
    Version 0.29.2
    Last update 08. November 2023
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies cli-impl,
    There are maybe transitive dependencies!

    ide from group org.aya-prover (version 0.29.1)

    The Aya proof assistant

    Group: org.aya-prover Artifact: ide
    Show documentation Show source 
    Download ide.jar (0.29.1)
     

    0 downloads
    Artifact ide
    Group org.aya-prover
    Version 0.29.1
    Last update 31. May 2023
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies cli-impl,
    There are maybe transitive dependencies!

    ide from group org.aya-prover (version 0.29)

    The Aya proof assistant

    Group: org.aya-prover Artifact: ide
    Show documentation Show source 
    Download ide.jar (0.29)
     

    0 downloads
    Artifact ide
    Group org.aya-prover
    Version 0.29
    Last update 06. May 2023
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies cli-impl,
    There are maybe transitive dependencies!

    ide from group org.aya-prover (version 0.28)

    The Aya proof assistant

    Group: org.aya-prover Artifact: ide
    Show documentation Show source 
    Download ide.jar (0.28)
     

    0 downloads
    Artifact ide
    Group org.aya-prover
    Version 0.28
    Last update 02. March 2023
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies cli-impl,
    There are maybe transitive dependencies!

    ide from group org.aya-prover (version 0.27)

    The Aya proof assistant

    Group: org.aya-prover Artifact: ide
    Show documentation Show source 
    Download ide.jar (0.27)
     

    0 downloads
    Artifact ide
    Group org.aya-prover
    Version 0.27
    Last update 14. January 2023
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies cli-impl,
    There are maybe transitive dependencies!

    ide from group org.aya-prover (version 0.26)

    The Aya proof assistant

    Group: org.aya-prover Artifact: ide
    Show documentation Show source 
    Download ide.jar (0.26)
     

    0 downloads
    Artifact ide
    Group org.aya-prover
    Version 0.26
    Last update 08. January 2023
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies cli-impl,
    There are maybe transitive dependencies!


    Page 2 from 2 (items total 16)


    © 2015 - 2024 Weber Informatics LLC | Privacy Policy