This repository contains a development of homotopy type theory and univalent foundations in Agda. The structure of the source code is described below. Modules of the same name as a type collects ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results