Good books on hyperbolic geometry?

No.11373444 ViewReplyOriginalReport
>working on experimental code synthesis tools
>making good progress
>run into a ton of stuff that can be best described as pathfinding on high-dimensional hyperbolic spaces
>need to learn some stuff about hyperbolic geometry now, I guess

Any good books on this subject?