Homological bulk–edge correspondence for Weyl semimetals. (18th March 2021)