cubicaltt

There are 0 repository under cubicaltt topic.

• owo-lang / intellij-dtlc

  IntelliJ plugin for several experimental programming languages here

  intellij-pluginminittowomlpolyrdependent-typescubical-type-theorycubicalttvoileredprl
  Language:Kotlin 34

• doofin / hott-examples

  Homotopy type theory for theorem proving with univalence

  agdacubicaltttheorem-proving
  Language:Agda 8

• DmytroMitin / hott-cubicaltt-exercises

  homotopy-type-theorytype-theoryhottcubicaltthaskell
  1

• forked-from-1kasper / hott-solutions

  hottcubicaltt