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

Download base JAR file with all dependencies


base from group org.aya-prover.anqur (version 0.16.1)

Anqur programming language

Group: org.aya-prover.anqur Artifact: base
Show documentation Show source 
Download base.jar (0.16.1)
 

0 downloads
Artifact base
Group org.aya-prover.anqur
Version 0.16.1
Last update 07. September 2022
Tags: language anqur programming
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies tools,
There are maybe transitive dependencies!



Page 1 from 1 (items total 1)


© 2015 - 2025 Weber Informatics LLC | Privacy Policy