Dashboard/Pages/ContestPage.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Imports (10)
Imported by 2 files
  1. def stringifyPercent line 19 source
  2. def Contest.problemTable line 34 source
  3. def Contest.generate line 47 source