All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download base JAR file with all dependencies

Search JAR files by class name

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

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.21
Last update 26. September 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!



Page 1 from 1 (items total 1)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy