Florian Rabe gives invited talk at EuroProofNet workshop on the development, maintenance, refactoring and search of large libraries of proofs.