Cubical agda
From MaRDI portal
Software:1350644
No author found.
Source code repository: https://github.com/agda/cubical
Related Items (10)
Martin Hofmann’s contributions to type theory: Groupoids and univalence ⋮ Unnamed Item ⋮ Quotients by Idempotent Functions in Cedille ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ 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: Cubical agda
