Shem HaGedolim, Maarekhet Sefarim, Letter Peh
Can copy this into an AI, or connect the whole library to your assistant. For deeper learning, you can directly use the original seforim, sites, and apps.
(יט) פירוש ההלכות - (עיין רבינו אבא מרי בר יוסף בח"א).