GitHub repository: ondanaoto/compfiles
Primary language: Lean
Description: Catalog Of Math Problems Formalized In Lean