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

Download producer JAR 0.33.0 with all dependencies


The Aya proof assistant

Files of the artifact producer version 0.33.0 from the group org.aya-prover.

Artifact producer
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, parser,
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of producer Show documentation

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

0 downloads

Source code of producer version 0.33.0





© 2015 - 2024 Weber Informatics LLC | Privacy Policy