
Download base JAR 0.17.2 with all dependencies
Guest0x0 programming language
Files of the artifact base version 0.17.2 from the group org.aya-prover.guest0x0.
Test
Artifact base
Group org.aya-prover.guest0x0
Version 0.17.2
Last update 26. September 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 2
Dependencies tools, cubical,
There are maybe transitive dependencies!
Group org.aya-prover.guest0x0
Version 0.17.2
Last update 26. September 2022
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 2
Dependencies tools, cubical,
There are maybe transitive dependencies!
There is a newer version: 0.18.0
Show newest versionShow all versions of base Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of base version 0.17.2
META-INF
org.aya.guest0x0.syntax
org.aya.guest0x0.tyck
org.aya.guest0x0.util
© 2015 - 2025 Weber Informatics LLC | Privacy Policy