My players have been accepted in a magical university to access its library. They will use this as "home base" for some time, and I'd like to make something fun (I mean, more fun than "you get advantage on your Lore checks about so and so") out of researching things in the library. I am not really sure of what I want to do, it's just that I feel there is something to be done to use library search as a prompt for adventure. Also, I know that research is generally not an exciting activity. People basejump for adrenaline, they hardly decide to enquire about the history of a medieval citadel near where they live, so I really wasn't sure it was something that could be gamified.