IntelliJ plugin for several experimental programming languages here
-
Updated
Oct 18, 2021 - Kotlin
#
cubicaltt
Here are 5 public repositories matching this topic...
Homotopy type theory for theorem proving with univalence
-
Updated
Oct 10, 2021 - Agda
Cubical Type Theory in Scala 3 — port of Mortberg's cubicaltt
-
Updated
Apr 4, 2026 - Scala
-
Updated
Oct 2, 2018
Add this topic to your repo
To associate your repository with the cubicaltt topic, visit your repo's landing page and select "manage topics."