Adding author information and linking to original source for some of the
HoTT code - https://github.com/cGiesen/MultiHoTT-Module