Experimental implementation of Cubical Type Theory
-
Updated
Sep 21, 2023 - Haskell
#
cubical-type-theory
Here are 29 public repositories matching this topic...
The People's Refinement Logic
-
Updated
Jan 1, 2023 - Standard ML
😎TT
-
Updated
Oct 21, 2023 - OCaml
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
-
Updated
Mar 25, 2022 - OCaml
Towards changing things and see if it proofs
-
Updated
Jul 12, 2021 - Scala
Ground Zero: Lean 4 HoTT Library
-
Updated
Oct 18, 2024 - Lean
IntelliJ plugin for several experimental programming languages here
-
Updated
Oct 18, 2021 - Kotlin
🧊 An indexed construction of semi-simplicial and semi-cubical types
-
Updated
Nov 17, 2024 - TeX
quotient types in cubical Agda
-
Updated
Feb 4, 2019 - Agda
-
Updated
Jul 21, 2023 - Haskell
Category theory formalized in cubical agda
-
Updated
Feb 16, 2020 - Agda
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
-
Updated
Sep 29, 2024 - OCaml
🧊 Модальний гомотопічний верифікатор математики
-
Updated
Aug 5, 2024 - OCaml
Anders: Cubical Type Checker
dependent-types
proof-assistant
cubical-type-theory
type-system
hott
theorem-prover
type-checker
mltt
ctt
homotopy-type-theory
dependent-type-theory
-
Updated
Oct 23, 2023 - OCaml
Experiments with Realizability in Univalent Type Theory
cubical-type-theory
category-theory
univalent-foundations
univalent-mathematics
univalent-type-theory
realizability
-
Updated
Oct 21, 2024 - HTML
Type Theory in Type Theory using Cubical Agda
-
Updated
Feb 21, 2019 - Agda
Fintie Sets in Cubical Agda
-
Updated
Aug 30, 2019 - Agda
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
-
Updated
Aug 19, 2024 - Haskell
Espèces généralisées de structures sur les groupoïdes
-
Updated
Jul 28, 2022 - Agda
Improve this page
Add a description, image, and links to the cubical-type-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cubical-type-theory topic, visit your repo's landing page and select "manage topics."