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

Download base JAR 0.16 with all dependencies


The Aya proof assistant

Files of the artifact base version 0.16 from the group org.aya-prover.

Artifact base
Group org.aya-prover
Version 0.16
Last update 26. March 2022
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!
There is a newer version: 0.33.0
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of base Show documentation

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

0 downloads

Source code of base version 0.16

Please wait ...




© 2015 - 2024 Weber Informatics LLC | Privacy Policy