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

    • Download all versions of cli JAR files with all dependencies


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

    The Aya proof assistant

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

    0 downloads
    Artifact cli
    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 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

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

    The Aya proof assistant

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

    0 downloads
    Artifact cli
    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 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.25)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.25)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.25
    Last update 10. December 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.24)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.24)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.24
    Last update 22. November 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.23)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.23)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.23
    Last update 10. November 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.22)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.22)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.22
    Last update 15. October 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.21)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.21)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.21
    Last update 26. September 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.20)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.20)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.20
    Last update 07. September 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.19)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.19)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.19
    Last update 10. August 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!

    cli from group org.aya-prover (version 0.18)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show documentation Show source 
    Download cli.jar (0.18)
     

    0 downloads
    Artifact cli
    Group org.aya-prover
    Version 0.18
    Last update 10. May 2022
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 5
    Dependencies base, parser, tools-repl, gson, picocli,
    There are maybe transitive dependencies!


    Page 1 from 2 (items total 20)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy