HoTT bench