| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 129481 | Der.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 7160 | Der.tex | file | revisions | annotate |
| -rwxr-xr-x | 2023-11-28 11:45 +0000 | 966 | build.sc | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 135437 | hw01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 5529 | hw01.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 123063 | hw02.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 10632 | hw02.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 129062 | hw03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 11042 | hw03.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 130134 | hw04.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 12164 | hw04.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 129350 | hw05.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 5758 | hw05.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 131791 | hw06.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 6552 | hw06.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 111846 | hw07.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 7128 | hw07.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 74994 | hw08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 3774 | hw08.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 128847 | hw09.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 5535 | hw09.tex | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 130637 | proof.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-11-28 11:45 +0000 | 7495 | proof.tex | file | revisions | annotate |
| -rwxr-xr-x | 2023-11-28 11:45 +0000 | 254 | upload | file | revisions | annotate |