RedPRL

swMATH23593MaRDI QIDQ35364FDOQ35364

Author name not available (Why is that?)

Official website: http://www.redprl.org/en/latest/

Cited In (11)

• HoTT
• UniMath
• cubicaltt
• HoTTSQL
• cart-cube
• Cubical methods in homotopy type theory and univalent foundations
• Cubical Agda: a dependently typed programming language with univalence and higher inductive types
• Meaning explanations at higher dimension
• Syntax and models of Cartesian cubical type theory
• An introduction to univalent foundations for mathematicians
• Cubical Agda

This page was built for software: RedPRL