Hart, P. A mechanized study of coherent 2-groups [Computer software]. https://github.com/PHart3/2-groups-agda