Test of an updated version of coq HoTT