Yes, Biblioteca Joanina in Portugal. https://en.wikipedia.org/wiki/Biblioteca_Joanina

Yeah I wish they'd included it when they named that library! But they do mention it at the very end: "Joanine Library at the University of Coimbra in Coimbra, Portugal"