Catalog Of Math Problems Formalized In Lean - View it on GitHub