Yes! I haven't read all of it yet, but from what I've seen so far, the book spends a lot of time rigorously proving mathematical properties/bounds of various bandit algorithms. I love rigor as much as the next guy, but I also like seeing code :)