Maintaining a library of formal mathematics
scientific article