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

    Download parser JAR 0.36.0 with all dependencies


    The Aya proof assistant

    Files of the artifact parser version 0.36.0 from the group org.aya-prover.

    Test

    Artifact parser
    Group org.aya-prover
    Version 0.36.0
    Last update 18. December 2024
    Tags: assistant proof
    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!
    The newest version!
    Show more of this group  Show more artifacts with this name
    Show all versions of parser Show documentation

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

    0 downloads

    Source code of parser version 0.36.0





    © 2015 - 2025 Weber Informatics LLC | Privacy Policy