The logbook of Pointed Hopf algebras over the sporadic simple groups

In this paper we give details of the proofs performed with GAP of the theorems of our paper [N. Andruskiewitsch, F. Fantino, M. Graña, L. Vendramin, Pointed Hopf algebras over the sporadic simple groups, J. Algebra 325 (1) (2011) 305–320].