• cubicaltt

  • Referenced in 45 articles [sw22723]
  • Cubical type theory. Code library. Experimental implementation of...