GitHub repository: qswx2007/SSRPlus-Mod
Description: Collection of Lean‘s SSR+ Mod