The main page of the ROBOMINERS project: https://robominers.eu/