Compfiles: Catalog Of Math Problems Formalized In Lean

165 problems have been formalized.

99 problems have complete formalized solutions.

problemsolved?tags
number theory
algebra
number theory
algebra
algebra
number theory
algebra
algebra
algebra
algebra
number theory
algebrainequality
combinatorics
algebra
algebra
number theory
algebra
number theory
number theory
combinatorics
combinatorics
combinatorics
number theory
algebra
algebra
algebra
algebra
number theory
algebra
algebra
algebra
algebra
number theory
number theory
number theory
algebra
combinatorics
algebra
number theory
number theory
number theory
algebra
number theory
algebra
algebra
combinatorics
algebrainequality
algebra
number theory
combinatorics
number theory
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
number theory
algebra
combinatorics
algebra
combinatorics
algebra
algebra
algebra
number theory
algebra
algebra
number theory
algebra
algebra
geometry
number theory
algebra
number theory
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
algebrainequality
algebrainequality
algebrainequality
algebra
number theory
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
number theory
number theory
combinatorics
algebrainequality
algebra
combinatorics
number theory
algebra
number theory
combinatorics
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