The link "To install the compiler for the F7", in the readme on the code page, is broken - that forum thread doesn't exist any more.
Does this core support the STM32F723E-DISCO? I can see more than one model that matches the STM32F7 DISCOVERY description, but I haven't found anything to clarify if this works with all of them, yet.