Name | Size | Last Modified |
|---|---|---|
| course-overview.md | 529 bytes | |
| final-project-guidelines.md | 3.5 KB | |
| final-project-recommendations.md | 2.6 KB | |
| hints-ps07.md | 4.9 KB | |
| lean-practical.md | 1.3 KB | |
| linear-algebra.md | 620 bytes | |
| resources--LaTeX.md | 4.8 KB | |
| resources--conda-sage-math-jupyter.md | 5 KB | |
| resources--expectations-and-rubrics.md | 1 KB | |
| resources--gradescope.md | 1.2 KB | |
| resources-references.md | 1.9 KB | |
| summary.md | 6.5 KB | |
| week01--groups-and-linear-algebra.md | 520 bytes | |
| week02--representations.md | 753 bytes | |
| week03--irreducible-reps.md | 732 bytes | |
| week04--characters.md | 938 bytes | |
| week05--rep-theory-conclusion-ec-start.md | 2.5 KB | |
| week06--ECC.md | 1.2 KB | |
| week07--ECC.md | 1.4 KB | |
| week08--ECC.md | 383 bytes | |
| week09--ECC.md | 1.3 KB | |
| week10--formalization.md | 1.1 KB | |
| week11--formalization.md | 1.2 KB | |
| week12--formalization.md | 188 bytes | |
| week13.md | 948 bytes | |
| week14.md | 2.2 KB |
