Catalog Of Math Problems Formalized In Lean
dwrensha/compfiles has 245 GitHub stars.
It currently ranks #27458 daily, #27972 weekly, #29893 monthly by momentum on Trending Repos; its best-ever rank is #4994.