HoTT Book formalisations in Rzk

This project contains formalisations that follow the HoTT Book.

How to check

From the root of the project's repository, run:

rzk typecheck