ArchEngel

Its really easy and straightforward these days:

1. Create zone at library, name it Library, drag the circle til its the right size and place on the map.
2. Create automation: a. trigger - Bobby leaves zone: Library. b. condition - none probably c. action - notify your phone: Bobby has left the Library.

Bobby needs the Home Assistant companion app, with location tracking turned on.