Implementation of a coherent Lyman-alpha source for laser cooling and spectroscopy of antihydrogen