Download all versions of guest0x0-cubical JAR files with all dependencies

guest0x0-cubical from group org.aya-prover (version 0.13)

Guest0x0 programming language

0 downloads

Artifact guest0x0-cubical
Group org.aya-prover
Version 0.13
Last update 26. May 2022
Tags: guest0x0 language programming
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies pretty,
There are maybe transitive dependencies!

Guest0x0 programming language

0 downloads

Artifact guest0x0-cubical
Group org.aya-prover
Version 0.12
Last update 16. May 2022
Tags: guest0x0 language programming
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies pretty,
There are maybe transitive dependencies!

Guest0x0 programming language

0 downloads

Artifact guest0x0-cubical
Group org.aya-prover
Version 0.11
Last update 04. May 2022
Tags: guest0x0 language programming
Organization not specified
URL https://www.aya-prover.org
License GPL-3.0
Dependencies amount 1
Dependencies pretty,
There are maybe transitive dependencies!

Page 1 from 1 (items total 3)