Hagahot MeAlfas Yashan on Sanhedrin Daf 13b

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.