Dashboard/Models/Problems.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Imports (2)
Imported by 4 files
  1. structure ProblemMeta line 8 source
  2. structure ProblemInfo line 15 source
  3. def ProblemInfo.leanName line 28 source
  4. def Contest.formalizedCount line 36 source
  5. def Contest.solvedCount line 40 source