cart-cube
From MaRDI portal
Software:46473
No author found.
Source code repository: https://github.com/dlicata335/cart-cube/
Related Items (9)
Cubical methods in homotopy type theory and univalent foundations ⋮ Naive cubical type theory ⋮ Constructive sheaf models of type theory ⋮ Unnamed Item ⋮ An introduction to univalent foundations for mathematicians ⋮ Cartesian cubical computational type theory: Constructive reasoning with paths and equalities ⋮ Unnamed Item ⋮ Model structure on the universe of all types in interval type theory ⋮ Syntax and models of Cartesian cubical type theory
This page was built for software: cart-cube
