RIvance/cubicaltt-scala

Cubical Type Theory in Scala 3 — port of Mortberg's cubicaltt

语言：Scala · GitHub 星标：3 · Fork：1

话题：cubical-type-theory · cubicaltt · programming-language · type-theory · typetheory

在 GitHub 上查看原仓库