Dashboard/Pages/Index.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Imports (10)
Imported by 1 file
  1. def Contest.compRow line 21 source
  2. def compTable line 33 source
  3. def tagTable line 44 source
  4. def faq line 60 source
  5. def Index.generate line 128 source