Compfiles: Catalog Of Math Problems Formalized In Lean.

(Generated by commit f47bee9bbe58582201779a81e203f09eb069d22a.)

87 / 137 formalized problems have been solved.

problemsolved?tags
number theory
algebra
number theory
algebra
algebra
number theory
algebra
algebra
number theory
combinatorics
algebra
number theory
algebra
number theory
number theory
combinatorics
combinatorics
algebra
algebra
algebra
algebra
number theory
algebra
algebra
algebra
number theory
algebra
combinatorics
algebra
number theory
number theory
number theory
number theory
algebra
combinatorics
number theory
combinatorics
algebra
algebrainequality
geometry
algebrainequality
combinatorics
number theory
algebra
combinatorics
number theory
number theory
algebra
number theory
algebra
number theory
algebra
number theory
algebra
number theory
algebra
algebra
algebra
algebra
algebra
algebra
algebra
number theory
algebra
algebra
geometry
number theory
algebra
algebra
number theory
algebra
number theory
algebra
combinatorics
algebra
geometry
number theory
algebrainequality
algebra
algebra
algebra
algebra
number theory
number theory
number theory
algebra
combinatorics
algebra
number theory
algebra
algebra
algebra
algebra
algebra
algebra
algebra
number theory
algebrainequality
combinatorics
number theory
combinatorics
algebra
geometry
combinatorics
algebra
geometry
combinatorics
number theory
number theory
number theory
combinatorics
algebra
combinatorics
number theory
algebra
number theory
combinatorics
combinatorics
number theory
geometry
algebra
number theory
algebra
number theory
algebrainequality
algebra
algebra
number theory
combinatorics
algebra
algebrainequality
combinatorics
number theory
algebra
algebra
number theory