org.aya-prover.guest0x0:cube-visualizer (maven): Guest0x0 programming language
Keywords: type-theory