Because the person who has left said that he was still in the library when he spoke, you can find him there. It is said that he has been to the library and has come back now. Therefore, in the second sentence, he has been to the library. You can find him there. Have been to a place means that people have not come back, have been to a place and come back.