is not current version

Last Version 0.13 →

org.aya-prover:guest0x0-cubical 0.12

Guest0x0 programming language

GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId guest0x0-cubical
Version	Version 0.12
Type	Type pom.sha512

Download guest0x0-cubical 0.12

Filename	Size
guest0x0-cubical-0.12.pom
guest0x0-cubical-0.12-sources.jar	5 KB
guest0x0-cubical-0.12-javadoc.jar	168 KB
Browse