Dashboard/Pages/ProblemPage.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

1. def solutionUrl line 14 source
2. def problemId line 19 source
3. def problemPath line 22 source
4. def problemRel line 25 source
5. def problemUrl line 28 source
6. def problemHtmlRel line 31 source
7. def problemHtmlUrl line 33 source
8. def problemImports line 36 source
9. def solutionImports line 49 source
10. def videos line 62 source
11. def probLeanRelName line 71 source
12. def solLeanRelName line 73 source
13. def probLeanRel line 75 source
14. def solLeanRel line 77 source
15. def liveLeanForName line 79 source
16. def liveLean line 92 source
17. def writeupList line 95 source
18. def writeups line 103 source
19. def Problem.generateStub line 106 source
20. def Problem.generateFormalized line 114 source
21. def Problem.generate line 149 source
22. def Contest.generateProblems line 160 source