A mechanized study of coherent 2-groups - Hart, Perry