RedPRL
From MaRDI portal
Cited in
(11)- Cubical Agda
- Meaning explanations at higher dimension
- UniMath
- HoTT
- cubicaltt
- HoTTSQL
- cart-cube
- An introduction to univalent foundations for mathematicians
- Cubical Agda: a dependently typed programming language with univalence and higher inductive types
- Syntax and models of Cartesian cubical type theory
- Cubical methods in homotopy type theory and univalent foundations
This page was built for software: RedPRL
