Dashboard/Pages/
33 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- All.lean 3 declarations
- ContestPage.lean 3 declarations
- Index.lean 5 declarations
- ProblemPage.lean 22 declarations
Dashboard/Pages/33 declarations, 0 contain sorry, 0 declared as axioms; 4 files