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