The files are just as it was in our overleaf. This is a bit unorganized as it was our first project and we were figuring things out. Feel free to download and change for example font to better fit ...
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