RedPRL
From MaRDI portal
Software:35364
No author found.
Related Items (5)
Cubical methods in homotopy type theory and univalent foundations ⋮ Meaning explanations at higher dimension ⋮ 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
This page was built for software: RedPRL
