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

    • Download JAR files tagged by proof with all dependencies


    tools-repl from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

    Group: org.aya-prover Artifact: tools-repl
    Show all versions Show documentation Show source 
    Download tools-repl.jar (0.34.0)
     

    0 downloads
    Artifact tools-repl
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 4
    Dependencies pretty, tools, jline-reader, jline-terminal,
    There are maybe transitive dependencies!

    tools-md from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

    Group: org.aya-prover Artifact: tools-md
    Show all versions Show documentation Show source 
    Download tools-md.jar (0.34.0)
     

    0 downloads
    Artifact tools-md
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 3
    Dependencies tools-kala, annotations, commonmark,
    There are maybe transitive dependencies!

    tools-kala from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

    Group: org.aya-prover Artifact: tools-kala
    Show all versions Show documentation Show source 
    Download tools-kala.jar (0.34.0)
     

    0 downloads
    Artifact tools-kala
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 2
    Dependencies kala-common, tools,
    There are maybe transitive dependencies!

    tools from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

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

    0 downloads
    Artifact tools
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 3
    Dependencies annotations, kala-collection, pretty,
    There are maybe transitive dependencies!

    syntax from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

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

    0 downloads
    Artifact syntax
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 4
    Dependencies tools-kala, tools-md, pretty, ij-parsing-core,
    There are maybe transitive dependencies!

    producer from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

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

    0 downloads
    Artifact producer
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 2
    Dependencies syntax, parser,
    There are maybe transitive dependencies!

    pretty from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

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

    0 downloads
    Artifact pretty
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 2
    Dependencies annotations, kala-collection,
    There are maybe transitive dependencies!

    parser from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

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

    0 downloads
    Artifact parser
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 3
    Dependencies annotations, ij-parsing-core, ij-parsing-wrapper,
    There are maybe transitive dependencies!

    jit-compiler from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

    Group: org.aya-prover Artifact: jit-compiler
    Show all versions Show documentation Show source 
    Download jit-compiler.jar (0.34.0)
     

    0 downloads
    Artifact jit-compiler
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 1
    Dependencies base,
    There are maybe transitive dependencies!

    ide-lsp from group org.aya-prover (version 0.34.0)

    The Aya proof assistant

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

    0 downloads
    Artifact ide-lsp
    Group org.aya-prover
    Version 0.34.0
    Last update 18. November 2024
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 2
    Dependencies ide, javacs-protocol,
    There are maybe transitive dependencies!


    Page 1 from 3 (items total 90)


    © 2015 - 2024 Weber Informatics LLC | Privacy Policy