I assume it's only a tiny slice of his library. Inferring from the fact he's the world's richest geek, and that he's spent $30 million on a set of da Vinci papers,

https://en.wikipedia.org/wiki/Codex_Leicester