Download guest0x0-base JAR file with all dependencies

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

Guest0x0 programming language

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

0 downloads

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

Page 1 from 1 (items total 1)