C

cubical-algebra

A formalisation of some algebraic constructions in cubical type theory using the Agda programming language.