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

    • Download org.aya-prover JAR files with all dependencies


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

    The Aya proof assistant

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

    0 downloads
    Artifact ide
    Group org.aya-prover
    Version 0.36.0
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies cli-impl,
    There are maybe transitive dependencies!

    cli-impl from group org.aya-prover (version 0.36.0)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli-impl
    Show all versions Show documentation Show source 
    Download cli-impl.jar (0.36.0)
     

    0 downloads
    Artifact cli-impl
    Group org.aya-prover
    Version 0.36.0
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 3
    Dependencies base, parser, gson,
    There are maybe transitive dependencies!

    cli-console from group org.aya-prover (version 0.36.0)

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli-console
    Show all versions Show documentation Show source 
    Download cli-console.jar (0.36.0)
     

    0 downloads
    Artifact cli-console
    Group org.aya-prover
    Version 0.36.0
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies tools-repl,
    There are maybe transitive dependencies!

    base from group org.aya-prover (version 0.36.0)

    The Aya proof assistant

    Group: org.aya-prover Artifact: base
    Show all versions Show documentation Show source 
    Download base.jar (0.36.0)
     

    0 downloads
    Artifact base
    Group org.aya-prover
    Version 0.36.0
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 2
    Dependencies syntax, tools-md,
    There are maybe transitive dependencies!

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

    The Aya proof assistant

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

    0 downloads
    Artifact lsp
    Group org.aya-prover
    Version 0.27
    Last update 14. January 2023
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!

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

    The Aya proof assistant

    Group: org.aya-prover Artifact: cli
    Show all versions 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
    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!

    commonmark-ext-yaml-front-matter from group org.aya-prover (version 0.21.1)

    Commonmark-java with JPMS support

    Group: org.aya-prover Artifact: commonmark-ext-yaml-front-matter
    Show all versions Show documentation Show source 
    Download commonmark-ext-yaml-front-matter.jar (0.21.1)
     

    0 downloads
    Artifact commonmark-ext-yaml-front-matter
    Group org.aya-prover
    Version 0.21.1
    Last update 09. December 2022
    Organization not specified
    URL https://www.aya-prover.org
    License BSD 2-Clause License
    Dependencies amount 1
    Dependencies commonmark,
    There are maybe transitive dependencies!

    commonmark-ext-task-list-items from group org.aya-prover (version 0.21.1)

    Group: org.aya-prover Artifact: commonmark-ext-task-list-items
    Show all versions Show documentation Show source 
    Download commonmark-ext-task-list-items.jar (0.21.1)
     

    0 downloads

    commonmark-ext-image-attributes from group org.aya-prover (version 0.21.1)

    Commonmark-java with JPMS support

    Group: org.aya-prover Artifact: commonmark-ext-image-attributes
    Show all versions Show documentation Show source 
    Download commonmark-ext-image-attributes.jar (0.21.1)
     

    0 downloads
    Artifact commonmark-ext-image-attributes
    Group org.aya-prover
    Version 0.21.1
    Last update 09. December 2022
    Organization not specified
    URL https://www.aya-prover.org
    License BSD 2-Clause License
    Dependencies amount 1
    Dependencies commonmark,
    There are maybe transitive dependencies!

    commonmark-ext-heading-anchor from group org.aya-prover (version 0.21.1)

    Commonmark-java with JPMS support

    Group: org.aya-prover Artifact: commonmark-ext-heading-anchor
    Show all versions Show documentation Show source 
    Download commonmark-ext-heading-anchor.jar (0.21.1)
     

    0 downloads
    Artifact commonmark-ext-heading-anchor
    Group org.aya-prover
    Version 0.21.1
    Last update 09. December 2022
    Organization not specified
    URL https://www.aya-prover.org
    License BSD 2-Clause License
    Dependencies amount 1
    Dependencies commonmark,
    There are maybe transitive dependencies!


    Page 2 from 3 (items total 30)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy